Some had trouble with their 1257, had to shave part of the bellcrank and the servo case. I have no issues fitting the 1258, although I'm not 100% sure that the case is the same size.

For those using cheaper tools, I highly recommend using the AE tool I linked earlier. I've saved at least 2 people from dremeling their "stripped" screw out of their car. All I did was loan them my hex driver and their screws came right out. Investing in a quality set of drivers will go a long way.