That's it -- in the heading. 5 millimeter diameter.