I contacted the poster of the original message, seller wants $4000 for the set of 20, if doesn't sell wants $250 each. Don't believe he will get these prices. These 20 makes 35-38 now known. So have many more may be out there. He may need to put these on Ebay and see what the market will do. Just my opinion, They are now probably at best worth $75 each.