So Samsung are repairing under warranty. Fortunately they have a authorized repair shop in my town, so I expect to get a new part and see how that goes.
open