Reading some posts the other day it seems mine is a bit small. It looks to be about the size of a 6mm or so. So what's the scoop on punch diameter?