Maybe it's updated via internet? Of course they'd probably want a system like that running OpenBSD, for fear of crackers. (Why OpenBSD? OpenBSD brags about only a SINGLE remote exploit in a default install in 8 YEARS.)
Personally I hope they have support for multiple formats. Yes, I'll take my e-books in a nice Plucker format, thank you...