A lucky Trademe search coughed up the part I needed for my coffee machine.  But more importantly the purchase found me a decent NZ supplier of all sorts of appliance parts at not insane prices.  For anyone who needs parts for pretty much anything kitchen/laundry/vacuum cleaning it's probably worth a look at https://www.appliancespares.nz/