I find Onkyo receivers pair particularly well with Polk speakers. Accesories4less sells refurbished models and Crutchfield and other retailers usually offer pretty steep discounts on prior year models.

I would get the highest power receiver he can afford and see if Audyssey will run with 6 speakers.