Yo creo que si bajas tanto el presupuesto para los altavoces, el resultado no será nada bueno... No tiene sentido subir presupuesto del AVR si luego vas a gastarte lo mínimo en los altavoces.

PCM lineal significa que se envia el audio digital decodificado, es decir, que por ejemplo la PS3 decodifica el audio HD y lo envia al ampli, y este solo tiene que reproducirlo. PCM es un tipo de codificacion de audio digital.

Yo de ti escucharía el conjunto Sony que comentas, creo que debe dar más calidad que un 507+altavoces tiradillos.

Por otro lado, la mejor opción quizás sea juntar un poco más de dinero y comprar el 507+ un conjunto decente.