I'm not familiar with Krystalkrete either. Basic white plaster your pool would be about $5,000. A BeadCrete material (very high end) would run about $8,000. Those are Oklahoma prices though. Still, their bid seems out of line.

The scope of work listed is good and what you want. I've never seen anyone specify max number of return visits through. Kind of odd.