Escale à Gibraltar

Je prévois de descendre mon bateau (Océanis 50) de Bretagne à Toulon au mois de juin.
Je voulais savoir si une escale à Gibraltar valait le coup pour faire les pleins (vivre gasoil eau etc…).
Quelles sont les démarches en arrivant?
Vaut il mieux s’arrêter en Espagne?
Merci.