Been there done that...
3 years buyback is available to purchase at 5 years of service and the cost is 3% of your total pay of your previous 12 months. To make math easy...For example, you made 100k...3% of that times 3 years is what you pay...so you're looking at around $10k total. Pays to buy...