Brexit benefit No 792..

"Don't worry about losing your fave pen, they're cheap enough from that shop in Germany - I'll order one now". Looks on interweb.

"
Pen: €6
Shipping to UK: €25
"

(Adds to very long list of things to buy on next trip away from brexit island). 😐