Probably cheaper if you choose to pay in Euro because the banks usually have better conversion rates than Amazon. Ignore the warning "Does not ship to Australia". Just put it in the cart and proceed. There is also a button on the website to show English language rather than German.
This receiver has been posted previously but this is the lowest price I have seen. Unfortunately the Euro to Aud conversion rate has gone against us in the last few months, but it's still a little cheaper than before.
At checkout, the tax gets removed resulting in about €352, plus about €85 shipping. Maybe the shipping differs according to location.
The receiver sports 7.2 channels, Dolby ATMOS and Helios.
Highlights (from Denon’s Product Information Sheet)
• 7.2 channel AV Receiver with 150W per channel
• Built-in WiFi with 2.4GHz/5GHz dual band support; built-in Bluetooth
• 4K/60 Hz full-rate pass-through, Dolby Vision compatible, HDR, HLG* and BT.2020
• 8 HDMI inputs (incl. 1 front) with full HDCP 2.2 support; 2 HDMI outputs
• Advanced Video Processing with 4K Scaling for HDMI sources
• Dolby Atmos (up to 5.1.2) and DTS:X
• Built-in HEOS Wireless Multi-Room Audio Technology
• AirPlay, Bluetooth, Internet Radio, Spotify Connect, Tidal, Deezer, Network Audio Streaming
• DSD (2.8/5.6MHz), FLAC, ALAC and WAV support
• Audyssey MultEQ XT, Dynamic Volume and Dynamic EQ
• Colour-coded speaker terminals, Setup Assistant, Denon 2016 AVR Remote App
• Intelligent ECO mode with off/on/auto setting
I ordered one of these on 4 April and it's already here in Central Coast NSW (I had to defer delivery so I can be home to receive it).
From comments I have seen, warranty should be no problem (in the first year anyway) as Amazon are really great in this respect. I just had a PC motherboard fail after 7 months and they agreed to a full refund and will reimburse return shipping (Amazon US).
All that proves is that they'll take your money, not that they'll ship it.