I've been looking through the E-bay listings and there are 3 Philips Series 1 Tivos around. HDR112, HDR212, HDR312.

Any preferences for one over another?

Thanks for your advice.