Might seem like a ridiculous question, but can anyone recall the highest price domain name ever sold on DP?