You can replace the glass. PinballLife has them for $58 each. But they also sell the LEDs for $55.
There are probably 2 schools of thought. Fix the glass and keep original, or replace with LEDs.
If you go the LED route, please don't discard the boards. Sell or give them to someone that wants to repair them.