They ARE indeed the right wrenches. Back when we started using those, the wrenches weren't on the site, but more of a "special request". The one that fits 0-80 would be used for the pins in that...