I think this was reported a couple of months ago in the long ElGato thread. I haven't personally tried exporting from EyeTV since I've found VLC does an excellent job converting MPEG2_TS to MPEG2_PS with the advanced Open dialog box options. It's also pretty fast since no transcoding is involved.
A forum community dedicated to home theater owners and enthusiasts. Come join the discussion about home audio/video, TVs, projectors, screens, receivers, speakers, projects, DIY’s, product reviews, accessories, classifieds, and more!