We are going to Gibraltar on holiday and plan to visit The Rock. Is it best to drive, walk or take the cable car to the summit? And if we go by car, do you need a 4x4 or will a regular rental car be fine? How about a taxi? Any suggestions of good places to stop on the way up would be great.