Hello, We've booked to go to Gibraltar for a couple of days in February during the school holiday. Anyone been and can offer any tips or information please? We will have our 5 year old DD with us. Thank you