Of course why wouldn’t they?
I thought that fed employees had a seperate pension and healthcare system.