Just this really - for some reason really hard to find this info online but do any of the restaurants have soft play areas suitable for 4 year olds, and any tips on restaurants generally? We're looking to eat out once in the evening. Thanks!