Its probably a tad high, but trying to find another NOS glass for such a rare game is going to be extremely tough.
My star light was missing its glass when I got it, BG resto was an option but I was able to source a very good shape original from mayfair. Was it pricey? Sure, but when it comes to collector value, an original will be more sought after.