I bought it for 1500€ in 2014, when nic.st had a Black Friday sale. It was the only 3-letter domain I'd ever seen for sale, so I couldn't resist.