Carl, they've finished the gunite or shotcrete. The plaster guys will clean up any debris before they plaster the pool.