Is this unit the one you are talking about?

Dolphin™ Robo-Kleen™ Above-Ground Pool Cleaner



It's currently about 265 + 45 shipping, or $310 from Amazon, and is rated well by a number of users. The product page is here:
http://www.smartpool.com/website/robokleen.html
and the manual is here:
http://www.smartpool.com/website/manuals/RK01A.pdf