The official Denon product pages are now up:
9.4 Ch. 125W 8K AV Receiver with HEOS® Built-in
www.denon.com
https://www.denon.com/en-us/product/av-receivers/avr-x3800h (you can buy this now, but not the others)
7.2 Ch. 95W 8K AV Receiver with HEOS® Built-in
www.denon.com
I admit, I'm rather puzzled with what they've done with the X4800H. It has the same amplifier and preout counts as the 3800H, which is the same as before, but they've trickled Auro3D down to the 3800H now, and also removed the front HDMI port from 4800H, which was a nice convenience of the 4000-series for doing external(REW, etc) measurements.
As far as I can tell you're paying $800 USD more for... +20W better amplification and +1 rear HDMI port??? This makes very little sense to me, neither of these things are worth $800.
Can anyone else spot any other significant difference?