Pounds to Euros currency changer?

Doing it on the ferry would be expensive (uming there is a currency exchange). Just go to your local post office and change money before you go.