As its been suggested, horsepower ratings aren't exactly what they are advertised to be. Different criteria can be used to come up with a hp rating. Check out the info in the threads posted by knotscott. They are very good.So the hp really isn't a big deal the hitachi is 3.5 hp ??
From the two you posted, I'd opt for the Craftsman. I haven't been following the prices of used saws, but I think if you can get a better price, that would be better.Which one