We're currently in the Costa del Sol for half term and would like to drive to visit Gibraltar. Does anyone know the latest details or where to find them re what's needed to cross in and back to Spain please?