I have a broken stud on one of my front tophats. Does anyone know the size/whether or not it can be bought off-the-shelf.

Thanks