Very true. I’m still surprised that the item did not draw bids from the well known resellers. Unlikely they simply missed it. Most likely saw it and passed.
I'm not sure if there would be much "room" for a profit if the cost is $15,000. I never cease to be amazed at the premium people will pay for something special at auction but I can't see this as a $20k+ item on a dealer's list. If sold at an auction house the price including buyer's premium would have to be in excess of $25k for a profit to be made.