I am about to replace my aging tumble dryer and a couple of people have mentioned that a gas one is so much better than an electric one.I didn't even know they were an option. Does anyone have any experience of them?