I would certainly scrap the glass. It should come off fairly easily since glass is non-porous. I guess it would be better than rubbing the area with a gasoline soaked rag, in your living room, with a lit cigarette. (I'm kidding, I wouldn't do that either, I don't think that cigarettes are reef safe). Just scrap it carefully with a razor and you should be fine.