There is no way, all the ports on the back, firewire, usb etc are disabled for that exact reason

, the only way to do what you want is to hook up a vcr and the vcr must be on chan 3 like usual and the set top box must be ON and turned to the channel you want to record. So if you want to record channel 45 the set top box must be on and turned to chan 45, the tv can be off, and the vcr set to record. This will allow her to record something and then bring it to school on a VHS tape.
Thanks
Josh
Fiber Customer Support Analyst
Verizon FiOS