That's perfect - thanks for the quick steer.
Pin spacings are good. Will order it today and hopefully get the caffeine flowing again. My previous searches for replacement SMPS transformers took me into a lot of complex details and design issues, so I had expected this to be much the same. Nice to find it readily available and cheap to boot. Thanks again.
Interesting to compare this machine with my own Rancilio coffee maker that just runs on 240V and relies on bulky manual switches but is dead simple to fix - no neat little button switches relying on 12V power and no 'fancy' IC control modules. Replacement power supply for this costs about half the price of a new machine - so with service agent fees it would likely make be just a throw-away item if you couldn't DIY it.