I had that exact model, bought it when I was at Uni in 1988. It lasted until about 10 years ago.
Still miss it. I wish I'd not got rid, I think it would have been repairable. You just can't get digital clocks with readable red LEDs now. Everything has to have blue/green/white or backlit LCD or OLED whatever, that might look great in the daylight but at 2am when you wake up it looks like someone turned a bloody searchlight on! If any device in my bedroom has even one of those tiny blue or green LEDs to show it's plugged in, like my phone charger, I cover it with black tape!
Red is perfect. It's clearly visible but doesn't light up the room. It's also good for short sighted people like me as red light is more easily focused on your cone cells. Or something. My aunt is a retired optician and told me this.