We have tickets for the matinee of Chitty Chitty Bang Bang on 23rd December and wanted to go for lunch first. Don't want to chance not booking in case its really busy that day but I'm not from Edinburgh and can't remember the names of any restaurants I've eaten in previously. We will have the dds with us but they'll eat anything