Oh, forgot to mention: I've also reverse engineered the way the option keyword is generated, so you can enabled IBASIC, LAN and Fault/SRL right from the UI without opening the device.
If you are really brave, you can reset the serial number that way as well. Or even convert it into an 8730A – I have so far tried neither of these.