Where you live is a big factor in this, so only comparing as many estimates as possible in YOUR area could give you a basis for comparison. It sounds very reasonable to me considering our inflationary economy, and it sounds extremely reasonable to me when compared to the cost of anything pool related for my uncle in the Dallas area.
Contractor’s estimate should be checked with at least 2 more estimates from others unless it’s an emergency, and it doesn’t look like a major emergency. Try to ask questions about what work will be done as they could be doing very different things.
I don’t think it’s an obscene estimate based on the size of the area, but local market may affect things considerably.