@Gargron @dopatwo Yes! I got one! Plus a nice pin for my backpack.
(I finalised purchase before completing the mental arithmetic on converting £40 to AUD (£25 shipping!))
We’ll see how long it takes to ship down under. I expect to use my mug on Christmas Day, 2024, 😎