Anyone know where I can get an 8mm (NOT No 8) plug cutter for occasional use? Over the years, have accumulated most sizes, except for 8mm, which was needed yesterday. There seem to be various cheap sets, which are probably the best solution, or single cutters for silly money. Anything else?