I am considering investing in either a Jungle Jims Jungle Jack or a Ballard Super Jack or Mini Jack. Has anyone use any of these and has comments as to which one is best? The Jungle Jack is less than 1/2 the price of the Super Jack so is certainly an advantage. The Super Jack is also bigger and looks like it may be in the way a little bit when scraping the junk off the bottom of the deck. The Mini Jack is less expensive but doesn't quite lift as high. Also the Mini Jack looks like it would be in the way when trying to scrape the deck. I'm just trying to figure out the best way to spend my money on one of these. Your comments are much appreciated. Thanks.