I was wondering if anyone had a strong opinion (good or bad) about an automatic pool vacuum that you have used at your facility. I am looking to replace my current vacuum and am afraid that I am going to purchace another high maintenance machine. I operate a large pool (50m x 25yd) so would be interested in any opinions about larger commercial models. ($5,000-$6,000). Anyone have an good suggestions or brand/models to avoid?