Would add the curious case of Britons that go in or out of GIB for one direction and a Spanish airport for another. The Gibraltar border basically never stamps so if you are planning on making it a one-way trip, be sure to find someone to actually stamp you