ATSC sounds cool, the turbo tuner I assume you mean is turbofec 8psk/qpsk? sounds like it was designed for the hacker crowd. Doesnt mean it is, the genpix line are all amazing tuners, just sounds like it is all.
edit: little bit of google and yup thats exactly what its designed for. These types of box's are usually brutal quality (lots of reports online of people bricking them, overheating, or plain just dying)
best of luck to you, apparently the editor they supply, jxeditor, has bricked a few receivers. Does it have a way of saving the channel list to a usb stick or off the ethernet? I would start there, do a real simple scan, try and only get 3 or 4 channels scanned in, then work upto 2 or 3 transponders, then add different types, radio, tv, ac3 etc. and see if you can determine the file format. Having a pc tuner to get a good looke at the NIT, PMT etc would help alot.
UDL