If I remember correctly I got the master cylinder with the pushrod already installed and did not have to make any modifications. I agree with you about the washer and letting it rotate around on a grinding wheel. I have done that with other projects with great success. Once down to the correct diameter I use a file to smooth out any imperfections and burrs that may have built up.