I recently saw an episode where Tom used a bottle jack to lift a floor joist to install a brace. Any idea what size bottle jack this might have been? I have a selection from 4, 8, 12, 20, and 30 ton jacks and obviously I don't want to overspend for a size I will never ever ever need.