Anyone know the size of the pin used to hold the stylus on a