I would also go option 3.
I'm actually in a similar situation, except I have a 2K projector for my primary HT viewing. I won't be moving up to a 4K projector anytime soon, primarily because most of what I watch isn't available in 4K. However, I also have a few 4K flat screens around the house...