I have a Ramsey Patriot 9500 and it is an awesome winch. Fast line speed and plenty strong. That said, comparing the patriot series to the rep series is apples to oranges (and close to a grand to more like $400). The patriot series use fast line speed and big hp motors, while the rep series use a small motor and low gearing. As a result they are cheaper and slower. My 2 cents: If you use a winch a lot, get something with a faster line speed and a higher pull rating. The REP is already slow and will be even slower if you have to double the line. However, if it is just for every once in a while, getting unstuck slowly is still getting unstuck.
Edit: After reading their website, apparently the REP series are more winch than I thought, 3.8HP and like 36fpm for the REP8000 (versus the patriot 9500's 5.5HP and 35ish fpm). I could have sworn that the REP was like 1.6HP or something tiny like that. Maybe they used to be, maybe I'm just plain wrong. Maybe the REP8000e is the little guy. Regardless, I like my Patriot 9500 for what it's worth