Rather than start from scratch and waste all of the other work on the tappet, he filled the unwanted notch using 2-pack epoxy resin (Araldite). After the repair had set, it was relatively easy to saw and file the excess resin to a smooth finish.
The first picture shows the epoxy in place; the second shows the finished result.

