Nice. Infants and stereo gear are not a great match ( ihave a 3 yr old and a 5yr old).
For digital front end, I would add a used Meridian 508.24 (even upgraded from, 508.20) to your search. Very very smooth and lovely presentation - less of the digital grungies than most. Maybe more than $1K, but not much more, and well worth it in my opinion. Not to blast for HK CDP, but the meridian would elevate things to "an entirely different kind of flying, altogether." (esoteric line from the movie "Airplane!")