Their pay is actually quite high. They get a scaled pension that lasts for all of retirement after 20 years of service. How many millions do you need in the market to generate that level of income in retirement? [Breaks out the world's smallest violin]