I eventually found it listed at the bottom of the Denon X4000 page. What threw me was that the similar Marantz 7008 has 'Pro' next to the Audyssey logo on the brochure, but the X4000 doesn't.
I can't decide between the X4000 or the 4250 since in the UK there are a few deals on and there is only £300 between them. At first I though it might be worth the extra for Audyssey Pro (since my dealer will loan me the kit), but that's confirmed as on the X4000 as well so not a plus point for the 4250.
I have a separate 3 channel THX spec power amp that I will be using to power the LCR with (MK MP150), so I'm not so much in need of the 4250's extra power since it will only be driving front heights, side surrounds and surround backs (no room for front wides). That leaves the extra 2 channels from the 4250 for front wides which I can't use now, but might in 3 years time if I build my dedicated room (when I'd probably upgrade the amp anyway).
I can't really think of any audio reasons why it would be worth me getting the 4250 over the X4000 since I have zero interest in web radio/networking features. I don't even want any video processing features since I use a separate Lumagen Radiance VP, plus I prefer NOT to have things like volume, etc appear on the screen since that doesn't happen at the cinema and I don't want it happening in my HT.
I'm planing on upgrading the front LCR speakers first (hoping to have a home demo next week of the MK MP150) plus I'm building 2 x 15" sealed subs using Fi Q series drivers. I want to see how that all sounds first, but it might be a good idea to try to sell my old speakers, sub and existing processor before Christmas, so if I find a decent deal on the X4000 maybe worth just getting it now (and adding front heights since I have a spare pair of M&K K15 speakers).
Any reasons why I might regret getting the X4000 over the 4250?
"Don't believe everything you read on the internet". William Shakespeare 1615