4mm is a standard size, so most likely correct