Enter the beauty of the Harman Kardon. Unless you get some sort of discount for matching name brands I see no reason to really be in a rut. My vote is the H/K 430 and the Denon 2200 (silver). You could probably pull of that combo for close to $1000 and he'd be quite content I'm sure.

"We're on the island of Misfit Toys"