Where can I download the SeaBotix model featured in SW 2010 "Hands on Test Drive"

I've got the booket for SW2010, but I'm not seeing the SeaBotix or any other files on my Student Edition 2013 install.

SolidworksSimulation