Finally, managed to find a Yamaha RXV667 with all the kit at the right price, less than £300. Set up complete. Sounds terrific and lots of scope for when the little un wants to plug boxes in (wii, ipod etc).
Only bug bear is getting the TV sound to play back through the HDMI cable when watching direct tv instead of through the HTPC. Not a big issue but it should do it shouldn't it? All the bumpf says it should. Ho-hum, one to fiddle with if I ever feel the need.
Thanks again for all the help.