Does anyone have information on how much AFL/CIO pension money might be invested in Dave Bronner’s, Retirement Systems of Alabama, mutual funds? Chip maybe?