We had River Rok plaster installed into our new pool and it is very rough and abrasive. Is this normal for this plaster?