I would take it over a 4001 at the same price. The 4001 is not brighter than this in its best mode but the 4001 has greater flexibility to be brighter if needed. We have installed them and I always liked this particular model. It was definitely a sleeper model and was never a big seller because spec wise it didn't match up to other things in its price range. Even now it doesn't hit the right price point, when the 12KII and S4 going for at the same price or for a little more it is tough to get excited about this model.
It didn't have the bells and whistle the others claim but has a very good picture, is extremely quiet, has a great lens, comes with an adapter for HDMI, good processing and is built like a tank. It is not very aesthetic and has an industrial/ utilitarian look to it.
One big fault of this PJ was that its lamp is not designed to be user replaced. It can certainly be done by the user as it is not that difficult. But, not as simple as most. I predict this PJ will be reduced even more to get rid of the remaining ones and might be a good deal if near $1k.