Our faithful tumble dryer has finally stopped working. We are thinking of getting an Indesit ecotime Idv75 - a cheap and cheerful vented dryer. Does anyone have one? Are they any good? Thanks