The president and first lady leaving Tosca Saturday night. (JONATHAN ERNST/Reuters)