hi, does anyone know of any good pubs or restaurants in edinburgh that have a good indoor or outdoor play area for toddlers? trying to find a venue to meet friends also with toddler in august that will let us adults chill and the boys play! thanks