Half term on its way and I'd like to know best contenders for toddler friendly lunch times in pubs - thanks for any thoughts