I had some kind of weird power anomaly this week and it killed my nice JVC projector.
I went on ebay to look for another and they cost the same as when I bought mine (about $800)
These days that amount of cash gets you a really big direct view (nearly the size of my projection screen) LED/LCD with 4K/HDR and LCDs aren't as bad as I remembered.
Time to go shopping!