According to public radio, the deal is complete and Mirage Resorts are now a part of MGM. Porpoises and lions, oh my.