“What video file formats are suggested for playing 4k content via usb, I don't see a reference to any particulars in the manual. Thank you”