Email Record: Retired pay of judges of tax court.