Actually they had to make the ruling because congress changed the rule for federal employess, allowing them to keep their FF benefits for personal use... and of course that led to our brethern in the IRS itself asking if this was now income to all of us Fed FF's out there...

Doomed to Coach