That would probably be a good upgrade for him, however I feel you are spending too much on the receiver. Do you need 7.1? If so, the 1913 would be a better option, if 5.1 is what you need, go for the 1713. With the savings, see if you can find a Klipsch RW-12D, it is a much better sub than the F-12.
Another option to consider is the Pioneer FS series, you could get the bookshelves and center for $230, and then with one of the cheaper receivers possibly squeeze in a SVS PB-1000 sub.
Samsung PN60F5300 | Denon AVR-1713 | EMP E55Ti | EMP E56Ci | EMP E5Bi | Outlaw Ultra-X12