I've just been using mine as normal. It was something like 15 fires out of 150,000 machines. Statistics in my favour.

I have had Samsung call me twice more and apparently they have forwarded my name to the local repairer but they are yet to call me. I will give the repairer a call directly next week.