In message , at 16:31:40 on
Fri, 29 Dec 2017, T i m remarked:

We stayed at a holiday rental earlier in the month and it had a
condenser-dryer.

A condenser-dryer or heat pump?

Dunno - the instruction manual was missing.

Ok ... but I'm guessing it might not be heat pump in a 'holiday
rental', unless the electricity was inclusive?

The electricity was all-included, and given the number of electric
heaters the efficiency of a dryer would be down in the noise level.
--
Roland Perry