[Yo-Yo]

Can't be a huge pension for working just 9 years.

Is this a 403B account? Is it a defined benefit plan? What sort of 'pension plan' is it?

State laws will dictate what is required of the employer regarding pensions.

[George from New England]

No 403B. Its Florida.