Yeah, it was a very interesting read. I was full of awe to learn how much effort was needed to update that Mars rover. Makes one think while updating the Linux-box at home, with Gigabytes per minute and so on.