.1285 is a #30 drill bit size. 3.2MM is also a standard drill bit size. It might be worth your time to ask the house you plan to have drill your boards what sizes they can supply or recommend in their experience.
Just for completeness sake here is a link to common drill sizes in metric and US (Fractional, Numbered and lettered sizes)
Best of luck.