No... He shouldn't get any tokens back because we all should know how the auction system works. I've lost hundreds of T in auctions because that's how it is.