Email Record: Retirement for Tax Court judges.