Email Record: Retirement for tax court judges.