The now dry shirt was sold for a hammer price of 20,000, with the buyer's premium of 5,000 taking the overall total to 25,000