Actually, it costs us real money. They're financed from taxpayers just like every other federal agency :(