V. Padovan has online MLCad models (.mpd files) for the four basic models - the Tribot, RoboArm, Spike and Alpha Rex. For those NXT LEGO CAD modellers out there - these are good resource for starting a modified version of your own! Download the files here.