Thanks to pemiamos we found that the LEGO education site has now PDF files with building instructions. The list includes Alpha Rex, RoboArm, Spike and Tribot, as well as educational version modules including lamp module and others. Go here to get them!