Looking for serial #, build card, Documentation as per Dennis, and a reasonable price. No used series 1 has ever sold for 10,000. Standard S1's go for 3,000-4,000. Unless a lot of work has been done by the mothership, post production. Good luck.
Nick