Enjoying Mamma Mia! on Broadway.