How much fun would it have been to have the White House band cranking up "Hail to the Chief" as BiBi was leaving the Rotunda.
It would have been awesome. :-)