Tony, Tony, Mike, and President Obama at the White House.