Let us assume that all three RADMs were upper house (O8). They'd be making about $14k a month in base pay. There is simply no way they will get busted below Captain (O6), so their pensions would be based on a salary of about $11k a month. Assuming 30 years of service, each would stand to lose about $2250 a month in pension benefit. The poor bastards might have to mow their own lawns or wash their own cars.