That's actually surprisingly cheap. I used to be at a 4 letter .com and we paid over $1mil for it in 2015 back when domains were still worth something.