You can look at YouTube and FixItFrank for the full videos on how to replace a color wheel on your own if you want to keep the budget down. He can also source you the color wheel if you want to fix it yourself. It's some pretty real work, but if you are careful you can repair it yourself.
The BenQ HT3550 is basically the 1:1 drop in replacement for the W1070. It's larger, but it does support 4K and use the latest DLP chip from TI.https://www.projectorcentral.com/BenQ-HT3550.htm
I guess it's closer to $1,500.
The BenQ HT2050A is the direct descendant replacement of the W1070. It's barely any better for the money spent and I would much more likely try to repair my W1070 before I would buy the HT2050A. That said... The HT2050A is every bit as good and perhaps just a tiny bit better than the W1070. It remains a top choice for a new entry level projector in 2020. Just like the W1070 was when you bought it.
- Theater, whole house audio, and technology consultation during the build and installation process in the Washington, DC metropolitan area.