We did purchase a NV-HS1000 from the
positron-e ebay vendor, which is based in Germany. It was packed properly and worked fine, so I presume they are a serious shop. There seems to be a bunch of other vendors too, maybe bogilein knows more about which one can be recommended.
There are a number of other recommended JVC models and the Philips analogues that can be found cheaper than the 9600, so they may also be worth checking out if you think the price on the 9600 is a bit steep. There is a long list of which ones have the desired features in the buying guide. I don't know if there is a large difference in quality between the higher-end or lower-end models or if the differences are more in editing features which doesn't matter too much when capturing.