Recommendation for short-throw projector

[gothicform]

I'm having a home cinema built with a 100 inch light excluding screen and want a 4k short throw projector. I'll be plugging a UB9000 into it as the primary source so want something that will display native 4k, and of course support HDR10+ with Dolby Vision as optional. We'll be using our existing 7.1 sound set up.

I'm in the UK, I've looked on Richer Sounds and they don't have much of a selection and what they do have is all "smart" stuff but I want something dumb that isn't full of apps. I'd be looking at a budget of up to 5k (GBP) for the projector.

Suggestions are welcome