Are you sure you need a different codec? What file format is it? Did not realise HDTV had its own file encoding format?

I play HDTV (originally recorded from HDTV) file fine through my laptop.