You had a lucky escape Planetnokia - I actually bought an HX900 and it kept freezing. Cost £467 at RGB Direct, but haven't had the use of it since June - kept shipping it back and forth to Sony repair Centre and finaly they said they'd have to replace it, but there was no equivalent model by then. Have been waiting till now for the HXD710 to actually arrive in this country.
So if JLP had in fact sold you one, you'd have paid £100 more than you needed to - and ended up with an analog tuner, no ability to split HDD recordings, and with a machine that was profoundly unreliable. (Picture quality when it DID work was spectacular, mind you). But it's only now that Sony are finally getting their act together as far as the spec is concerned.
Wonder if all the delays and confusion chronicled on this thread around the HXD710 and HXD910 have been associated with Sony's financial troubles and restructuring, as described on the business news: big announcement about job losses and change of direction due from the new CEO today.