Q. What types of funds can be used to buy back military service time (nonqualified, qualified, Thrift Savings Plan account funds, IRA funds)?
A. Only after-tax money can be used, so you can’t use TSP, IRA or 401(k) money for this unless you withdraw it and pay the tax bill first.