Actually these same 3 cards sold in the recent REA auction for over $6500:
Link. So this is actually a drop in price. I also assume that after the consignor to this auction purchased those cards, he determined that the trim was too noticeable to be able to receive a number grade if he cracked out.