The Independence of the Seas visited Gibraltar today. With a capacity of almost four thousand, it is by far the biggest cruise ship to have docked at the port this summer. We took to Main Street to find out what its passengers wanted to get out of their day trip - from duty free shopping, to paying a visit to the upper rock or simply taking a stroll through town.