In my experience over the years, Option A (winch) beats B (straps). Pros: safety. Cons: complex. A's best. Honestly, 9,000lbs is scary... basical...
Similar situation here - I went through this last year. Just sharing my experience: I spent way too much time analyzing the clearance for the sliding ...