I’m a Federal Employee. There is a TON of information out there, and some guides he can purchase (and they are not expensive either) to help guide him.
I’m not retiring for another seven years, but I’ve already bought one, just to alert me to things I need to keep in mind/start planning for.
(I can retire now, but I like what I do, I like the people I do it with, and my supervisors are awesome).