Thanks, guys. I'm happy with this set. I was specifically looking for this gas dryer 6500 pair rather than the LCD models.
I wouldn't have been surprised to have picked up a set this clean from AW members, as we know how to do laundry! But that fact that this set was owned by Joe Public and is so clean came as a refreshing surprise.
To answer the question chetlaham asked about the heater, it comes on whenever the wash temp is below target temp and it will cycle on/off during the wash to maintain temp. The heater can be selected with all cycles and temps. The ATC does a great job of adjusting the mix of incoming cold-hot water to achieve the correct temp for cold and warm washes without ever needing to use the heater (unless your hot water supply was too cold). A warm wash can fill almost exclusively with hot water if necessary to achieve the target temp of 40 ºC / 105 ºF. The temp for "Hot" is 57 ºC / 135 ºF, so the heater will never heat beyond that.
And sorry to hear about the flooded cabin.
Mark