Although the timing was suspicious it looks like they might be correct about the price. namecheap has the same price https://www.namecheap.com/domains/registration/results/?doma... (a bit cheaper at porkbun around $2.5K)