Yahoo began liquidating a bunch of old domains back in ~2013 (eg AV.com, formerly owned by AltaVista; Sled.com; and Sandwich.com for $137k, formerly owned by Broadcast.com, among hundreds of others), HP might have been doing something similar. Sweeping out the closet. $57k for a solid three letter domain with history certainly does seem cheap. I wonder what Musk paid for X.com, to get it from PayPal (surely seven figures).