a 5/32" drill = .156
a 4 mm drill = .157____ .001 is not going to matter
a 3.9 mm drill is .153____ if you have this size available, you can use it
use a new drill bit...if you use one that has been sharpened & one cutting edge is longer than the other, it will drill a slightly bigger hole.