Just ordered some euro screws from Woodcraft, and they had two lengths available. 11.5 mm and 13 mm. The ones I've had (forever) in my stash measure at 12mm (head included). It's such a small difference, are the ones simply meant for use in 1/2" (12.7 mm) material?