We now take the ID of the Topfield recording as enough insurance that this actually IS a mpeg-ts file, and it just works. I guess that's the reason why VLC does not play/recognize transport streams recorded with the Topfield TF4000PVR series! At least the first bytes of the header are different... ...