X3000i vs JMGO N1 Ultra

Hi everyone, I’ve been diving down the rabbit hole searching for a new projector.

Preferably 4K/60Hz support and around 3k Lumens since I will use it outdoors on my rooftop occasionally. I will also occasionally use it in my bedroom or for car camping trips. I plan on getting a grey screen for outdoors at least 100” in size. I’ll probably use it mostly for sports and movies but will occasionally game as well.

I don’t really care for any integrated apps since I will be using a shield or console.

I’ve also looked at the Benq TK700, TK850, Formovie X5, and Epson 3800. I’m okay with used/refurbished, there’s actually a factory sealed X3000i on Facebook marketplace going for 1500$.

Am I missing any good models around this price point?