Si son 4mm será difícil de cortar,quizás sea mejor pulir. Tienes 2 opciones : 1

Si son 4mm será difícil de cortar,quizás sea mejor pulir.
Tienes 2 opciones :
1-La que te indica JaimeJ muy acertadamente que es dárselo a un profesional que te lo arregle(es mas la molestia que el coste del trabajo en si)
2-Si eres manitas y amante del bricolaje,con 1 disco de pulir vidrio(marca Bohle) de grano 120 u 80 lo acoplas al taladro y con cuidadito¡a pulir hasta igualar!(Se tarda poco)posteriormente con otro disco de grano 320 sacas brillo a lo pulido con anterioridad y listo.
La mejor opción es la primera.No es un trabajo de cristalería convencional pero se puede hacer pues no es vidrio templado(no se puede cortar)
Yo iria cristalería por cristalería hasta encontrar alguien que quiera hacerlo pues no creo que tarde mas de 5 ó 10 minutos.
Saludos.
Javier