I'm probably going to buy a <$1000 robot cleaner, but before I do, I want to have an idea of how much time this is going to save me. I spend about 1-2 hours per weekend (2 hours+ this time of year) brushing and vacuuming my 20X40 (9' deep end) in ground salt water pool, vinyl lining. Can using one of the newer, high end robots eliminate the need to brush and vacuum?