As JasonR says, you need 15A of capacity. The Panamax 4300's manual includes specs that indicate that it is capable of 15A, and indicates that the pair of high-current outlets have on current limiting components in their path. That indicates that it should do fine. The Belkin isn't quite as forthcoming, but it does include a 15A breaker. You should be good.

Oh, and my 7500 is on the same circuit as a pair of Model 200's, a 32" CRT, an LFM-1 subwoofer, a 990, HD-DVR cable box, and about five other sources. The display on my PF60 reports up to around 6A or 7A of current draw if I crank it way up.