re: #537 Dante41

Blast. I’ll have to ask him in person.

..wait, is he ex-Royal Navy, or do you know?

Don’t know that either.
He’s in and out.
IIRC, he was in earlier today.