Not sure. I found this completed listing for one on eBay which may give you something to compare at $3500:
http://www.ebay.com/itm/Brother-PR-6...item1ea20eb12b
Not sure how 1228 hours compare to 15,000,000 stitches.
There are others that have been listed on eBay for more money that have not sold. Here is a list of completed listings on eBay. Only the green numbers are items that actually sold; the black prices were asking price and the item did not sell for that much.
http://www.ebay.com/sch/i.html?_odkw...chine&_sacat=0