Bush was president when the judge retired to senior status. For 4 more years. So, yea.