Thanks
13.5mm would be way too small, it would take a massive amount of force to press the stud in. A good guess would be to measure the diameter of the bottom of the 'teeth' on the stud and add a bit, it should only be fractions of a mm smaller than the max stud diameter. You should be able to look up press fit tables for exact numbers..
Rich