This is accurate. While a new-hire at my previous carrier, a classmate was on terminal leave while in class. I remember the day he left class early to go to Scott AFB and get his retiree ID card. He's not there anymore but that is because he moved on to a better position.