Thanks Paul and Erik,
I spoke to a friend that claims to be in the know about this and he reckons that the sensor is the same on all models, just the lens changes, bigger size equals more zoomed in image. He thinks the TVL's indicated are incorrect and are a misunderstanding by the seller. I've gone for the 4mm one, looking forward to getting it installed.