Hoping to have a mini break in London in August, including a musical. If you’ve seen The Lion King, would you recommend it?