If the edge quality is right I wouldn't worry about .5mm. The old cutters weren't fast enough and didn't grip tight enough to always make a perfect cut. And as we see with diamond cuts either the operators or the machines weren't always accurate.
Steve B
|