First time pool owner, went with the blue granite pebble sheen finish. The pool builder, who otherwise we have been very happy with, classified pebble sheen and plaster as completely different finishes, which I understand, but he then basically told me there was not any plaster in my pebble...