I'd probably just use a small dia drill bit, turned by hand. Would work like a countersink. Go just enough to remove the burr. Even better would be a small center drill.