There will be 3 files all with the same name but a different extention.
SD should be no problem unless it's a very long recording and the usb device is FAT32 (max file size 4GB). For files larger than 4GB a EXT3 formatted drive is needed.
xxxxx.ts (the video) xxxxx.hmt (prog info etc) and xxxxx.nts (navigation data). Without all 3 the Foxsat-hdr won't play the video.
Raydon's AV2HDR can create the two support files from suitable non native video.
80 mins should be roughly about 3GB depending on the bitrate used by the channel it was recorded from. (the support files are quite small).