Not in CVS (the mk1 drawings are though ). I'll see what I can find, Mike's probably got the offline stuff burned to a DVD or something, it doesn't appear to be online on the servers.

Hugo