I do not know how to rig those snatch blocks but a quick search shows that they sell from $40 - $194 each and then the cable starts at $.85 a ft.

He can spend an easy $300 on rigging. Though then he will always have it. Though will he ever use it again?

Though on a side note my drive slopes down to the road. Very gentle slope. When my sons truck was brought home with the brakes not working and loud engine noise which turned out to be bent pushrods we needed to move the truck to the other side of the two car driveway.

We let the truck roll back to the rear wheels hit the street and then we got out my dad's come along and a lot of chains and we pulled the truck back up the driveway.

Was not fast but was not that bad either.