Presuming you're docked with shore power, just buy the cheapest fan at a Home Despot or similar, made by our friends in Red China. I've run one in my house basement continuously for about half of the last three years. It's plugged into a GFI, was going fine when I unplugged it last October, and it ran fine when I had to dry up after an ingress of water a month ago.
|