Hi Michael, you should be able to buy a 6.35mm brad point drill bit, they aren't very expensive. Most dot markers should be available in 6.0 and 6.35mm sizes