Living in Ireland, hoping to come to london for a few days in august with dh, and DC 16, 12, 9. What musical would be good for all the kids to see?