I agree. The Cinema 30 is better built for sure even if it doesn't sound better but it's $1000 more expensive. The Cinema 40 is worse, but it's the same price. What you really want is the setup to be staggered. So x4800 for 2.5K, Cinema 40 3K, X6800H 3.5K and Cinema 30 at 4K and then you have an interesting pattern.
Right now, the Cinema 30 is a good option for a flagship AVR that's cheaper than AVR-A1H -- but the Cinema 40?
I had the Marantz PM-10 and SA-10 at one point. Gorgeous *look* and probably doesn't sound any better than a Topping stack. But the remote was incredible. I do think the sound can be different at times (which I have measured and shown). All that said, I didn't pay full price on the Marantz and at full price, it wouldn't be worth it.