Should I buy a pool brush and/or algae brush? Since it is a swamp now. Or skip those and use Leaf Rake, LeafMaster, regular vaccuum, and Dolphin. Pool brush or algae brush could help with cleaning the covers too I figure. They are fairly cheap ($20) so I am leaning towards getting at least one of them, but I still would like to save if they aren't going to help much.