What a difference a day makes!  The crewcame yesterday (and what a crew!!!!  It was a very large number of people....) and put the pebblesheen in the pool.  The next steps are acid washing it,  then polishing it, and the final step - adding water! (and then special maintenance for two weeks before we can use it.)  It's almost done!