Get her an 800 series 5T. They have PS.
Deuce winches are rated at 10,000lbs, a snatch block will double the load. They are a capable winch, but unless you are making a straight on pull, you will have issues with stacking and binding the cable, and shearing pins. A 5T winch is rated 20,000 lbs...