One German company has them: http://www.bleispitz.de/ - it would be the 5.5mm diameter

Could these be termed "Bridge pencils" by some makers? http://www.atlaspen.com/static/products/811.php?item=811&pv=1