After a heat pump tumble dryer. Happy to spend up to 750, which makes are recommended/avoided? Currently have AEG, Bosch and Samsung on the shortlist.