Today a couple guys showed up to start the replaster work. They spent about 3 hours, drained the pool, chipped plaster out from the two spots that need repairing and from around the tile and returns. Looks dirty but so far so good.
Tomorrow they will finish the repair, sandblast the entire surface and apply some bonding coat. Monday will be the application of plaster.
A few pictures:
Two repair spots: