This story is unavailable.

It is a benefit given by his employer (government/taxpayers) in exchange for his services as an employee of the federal government. Are you against employer based health insurance?