PS I've just been doing late night google research, and have decided
that Hoover dryers may well be a pile of cack, not least because they
put a lot of moisture into the air. I've decided that I really want a
Bosch, but they don't make them with the pump-to-drain option.