Does he still get paid salary for life?
My first thought...and, all the benefits owed to our senatorial royalty?