What to do with $25,000 in a 403(b)

I've got about $25,000 in my previous job's 403(b) plan through Lincoln Financial Group. It got about 12% return this year. I'm now a Mississippi state employee and I'm forced to participate in this state's PERS system. It's a 401(a). As far as I can tell, I cannot roll over my 403(b) into this. The PERS system is not bad. I contribute 9% and my employer kicks in another 15.75%. My concern is the long term viability of this plan. I'm not sure it will be here in 30 years when I retire. So I'm left with $25,000 I have to do something with. Which option do you think is better?

1. keep it there and just let it sit and grow

2. roll it into some other 401(k), trad IRA, or roth IRA

3. withdraw it and invest it in mutual funds

4. withdraw it and spend it on hookers and blow

5. something else

Any advice is appreciated. TIA