On ebay , they cost £1500 when new .

http://cgi.ebay.co.uk/ws/eBayISAPI.dll?ViewItem&ih=001&sspagename=STRK%3AMESE%3AIT&viewitem=&item=110102024170&rd=1&rd=1