I don't know either, but I can confirm that's within the scale for a domain I sold in the last year. Got 6.5k and it wasn't even a .com