I got the 7000 lb Aresco. It works fine but I don't use it that often. I think I needed a hair over 13' of height for it. The installer was an idiot and sprayed hydraulic fluid all over my garage during the install. But other than that it has been fine. It was around $2000 installed by the Aresco guys. I wired it myself.
Definitely not as nice as a 9000 lb rotary though!
-Geoff