I suggest the 3/32. This leaves you the option of going larger later if ever needed. I have had a machine shop experience a set-up error where the machinist mis-read the mic. and bored too large for the sleeve. Having the fall-back to the next size available took care of the issue.
JMO
Good Day!