how many days do you need in gibraltar