Holy crap! Expense ratios in the TEENS!?!?!?!?!? Yikes!
I'm surprised you haven't gotten any other suggestions for diversifying outside of the S&P 500 (FXSIX). FXSIX is an index of large companies, but you want some exposure to the whole stock market. I would suggest also adding in FSCKX and FSSVX for some exposure to mid-size companies and small companies. If you decide to go 100% stocks, I'd do something like:65% FXSIX25% FSCKX10% FSSVX
Sorry if I wasn't clear. I contribute 17,500 of my own money and the match at 50% which is where the $8750 comes from.