V4380, Neff integrated washer dryer?
This post from Don was basically asking you to give us a manufacturer, hence the question mark.
Most of the trade members who do take time to answer in the public forums have at some time in the past worked for one or other of the major manufacturers. I myself worked for Hotpoint and had you posted 'my 18580 is giving problems' I would have known exactly which machine you were referring to but it may not have been recognised by a lot of the other members. v4380 means nothing to me at all and Don was trying to guess which type of machine you had.
Some manufacturers even use very similar model numbers, BEKO and Hotpoint both have WMA models, there are several WM models from different companies, so we need as much information as is possible.
That which can be asserted without evidence, can be dismissed without evidence.