There are a few winches to consider. Warne have the best name, but Aldi's Auto XS work just fine. I wouldn't ignore Rydge Ryder (Supercheap Auto) either. The larger question would be 9,000lb or 12,000lb - horizontally, you aren't moving anywhere near that much weight anyway, so it's a matter of cost more than anything. A 9,000lb winch (4 tonnes) is more than enough for your car, but it's logical that a 12,000lb winch (5.4T) has a motor which won't work as hard.
If they have a wireless remote, be aware that there's often a lag in response so if you're trying to make small, fine movements with the winch, you're far better off hooking up the wired control.