Well, my old Craftsman floor jack has finally given up on me. Give me your recommendations on a replacement. The Craftsman was a 3.5 ton, pretty big, and heavy. The arm is probably 20”-24” long, the bowl @ 7” diameter, and the handle is 1-1/4” diameter pipe @ 4’ long.