I've always used a 4mm drill bit.