“Can movie/video files be played from a USB HDD (not USB flash) drive using the TV's USB port? If so, which file formats are supported?”