The content encryption is not "simply DivX encoding", since it is common knowledge that the device uses MOS file management. As I have often pointed out, files stored via MOS cannot be read by non-MOS operating systems. So, even if someone were to steal a fully loaded device (after buying a ticket and surrendering their credit card info), they would still have to obtain the MOS software in order to copy the file's data in usable form. Since the MOS code is very hard to come by (you can't get it from the device due to the FPGA chip's security), theft might prove to be more trouble than it's worth.