We're off to Edinburgh tomorrow and looking for recommendations for family-friendly restaurants. A bit nicer than Pizza Hut etc but still good for the DC who are 8 & 10. Any ideas?