I want to get my dad a torque wrench for fathers day, and he commented on how he likes the Digital ones. Anyone think a mechanical one is better than a digital? Which brand should I look at? Craftsman?