Peng, Using your calculator I got just under 108 db based on assumption that a 4500 or 4700 might be making 80wpc with all 5 channels driven.
As I (we) get further into the weeds between the 4500 and 4700, as long as both have Audyssey HT32, and Bluetooth head phone capability I couldn't care less about any other wireless connections or zone capabilities the 4700 may have that the 4500 does not. Again (sorry for being so dogmatic) but it looks to me like the audio signal processing, power, and distortion levels are identical between the two. Is that correct?
You are being very conservative to use 80 W, practically speaking, you won't have to worry about 5 ch peaking at the same time.
Is the108 dB for one speaker?