The other quotes were from established storefront local pool stores. They came in at $7500 to $12000 just for the liner and faceplates, jet covers etc. I am going to take @kimkats advice and check references. He is a one man show and likely has zero overhead. Does it sound plausible pricewise...