If he took the proceeds from the auction, put it in bitcoin and hodl'd for a year, then he could pay everyone back maybe