Lo que se me ocurre, siguiendo el principio de "minima invasión":
1) Buen lavado a ver si hay suerte...
2) Acrisol o similar
3) Probar con algún pulimento para pintura si tienes, ya que el cristal es más duro que la pintura y no debería pasarle nada
4) Pulimento para cristal como el 1z Glass Polish, arañazos no quita, pero cualquier resto adherido sí
Tampoco soy un experto, así que a ver qué comentan los maestros