"zzyzzx" wrote in message
...
If you go with a dehumidifier, you need a "basement dehumidifier", not
a regular dehumidifier. A regular dehumidifier won't do anything in
the cooler basement temperatures.

Interesting. Thanks. I didn't know that. Although I don't think I will
end up needing or using a dehumidifier for my situation, it is good to know
that for future reference.