We're visiting Edinburgh soon and trying to plan a few things to do.. Would you recommend visiting with a 9 year old? The reviews look good but I'm not sure how much is aimed at kids. TIA