THANKS everyone for your insights. I acquired a 20mm diameter 63.5mm (2.5") focal length. It matches the performance of the original lens, and make flawless cuts and engraving. The owners’ manual is totally wrong about the lens specs. I’m now cutting 3mm and 6mm MDF with no issues.