Hi there. I'm trying to book a holiday at the Tivoli Hotel, Lagos in the Algarve for my dd, dh and I. My dh and I stayed at this hotel 3 years ago - pre daughter. We loved it but I'm wondering if any of you wise owls have stayed there with little ones?