That's just the sort of kit I used, when I was working (retired now), I had been to my previous work places, but it seems everyone no longer has the kit's and send
this work out to machine shops, as current technicians do not have the time to do this sort of work.
I managed to get the slight pitting out of the seat by grinding with paste, took nearly all day, but it's done, would have been so much easier with a cutter, but when the kit's here are between £600- £1000 !!!