According to the technical information at Sharp/NEC, the lens is separate, but in my opinion it would not be optimal, because with such an expensive FullHD projector, you should get everything you need to be able to work with it.

https://www.sharpnecdisplays.eu/p...

But since the beamer can only do Full HD, I wouldn't buy it. There are plenty of 4K projectors that come ready to use.

This one is also very bright with 6000 ANSI lumens, has a lens and can even do 4K.

NEC P627UL Laser Projector (4K, 6000 lm)