A wayward rock chipped my glass on the freeway. It’s about 1 cm in diameter. Not sure what to do. I think I can live with it as long as there is no safety issue but wanted to get thoughts before I bring it to the glass repair folks to see if it can be repaired. The glass is tinted so if I have it replaced, I’ll have to retint.