I believe I've mention on here that we know a guy who is with the largest plaster company here in town, has been doing this work for 20 years and I asked him with access to all the pool options he has, if we was building a pool today what would he go with (at the time we were trying to make our decision on which plaster to use)? I was shocked by his answer, I was expecting some exotic pebble or quarts and he told me, plain white plaster. He's personally plastered thousands of pools and now he goes out and inspects post plaster work for his company he said it has the fewest issues, you don't have to worry about too warm of water in the Vegas summers, long lasting if you maintain it. Your PB's thoughts seem to be in-line with what we were told.
Love your decking BTW, wish we could have done something like that but in the Vegas sun/heat just wasn't an option for us. Nice build!