As we have mentioned earlier, we have modelled some of the components of the student robotics kit.
It was a lot of work for us to design those in the first place, so we figured other teams might want to use those, so we have decided to make these models open source. You can download them here.
(author: Yannick)