I’m taking my 15 year old son on a day out in London to celebrate his birthday. Can you give me any recommendations re: what he might like to do? He’s into gaming, football, likes arcades etc. Hoping to uncover some hidden gems by asking here! Thanks