I'm asking this for a friend. She's 63, was a sub for 14 years and now just became a regular about 1 1/2 years ago. She said something about "buying time back" for being a sub to go toward retirement. She'd like to flee earlier than 65. Is this a thing? Where can she find info, or can someone shed some light?