How many USPS employees retire in a normal year? It should be ~10,000 on average.

If there are 600,000 employees and a working life of 60 years (overestimate to make a point) then, on average 600,000/60=10,000 should age out every year. Add to that the number that just quit before retirement and I bet more than 20,000 employees leave every year.