John Boehner at the Trump inaugural, tan as ever: Do you think he wishes he had remained and fought it out?