Thanks.
Im in two minds whether to get it repaired or just scrap it and buy a new one.
Its a few years old and gets used lots every day. A repair will surely be £100+, yet I can buy a cheap brand new Beko DTGC7000W unit for £200.
Seems a shame to scrap an item that can be repaired, but the...