My dehumidifier in the basement stopped working. It's a stand-alone unit, but I've got it plumbed directly to the sump-pump, so that it can run continuously without having to manually dump the bucket. So I need to go buy a new dehumidifier, probably today. If you use a dehumidifier, what are you using? Any recommendations? The room is about 500 square feet. There is a mini-split AC unit in the room, but no return air vent, hence the need for a dehumidifier.