( ͡° ͜ʖ ͡°) I am working on a simple design that needs 2 set screws. My customer wants 13mm holes for these set screws. I am wondering what standardized off the shelve metric size would be the closest to this 13mm requirement? I will also need to know what the size of the trap hole diam is. Thank you.