Does the pen come with replacement tips? Or does anyone know a source where you could order just the tips? Unfortunately Digitec doesn't have any...