~ 9 mm diameter.