Which portable DVD player would be best for this? What options should I look for? I would like to hook it up via a standard Co-ax cable. I would prefer a portable DVD player with a antenna TV tuner built in. Apparently there are a few models with such an option.