The house we moved in to in March had been replastered last December by Hines Pool and Spa. They seem to have done a nice job and the one time we called them out for pool service (nothing to do with the plaster, just normal service) the tech was very professional and knowledgeable. I think the job here cost in the $6k range, but I don't know for sure.
Email me, I am a pool contractor in Dallas, but I have a good crew in Austin. They did my brothers pool for me couple of years ago. LH-Pools1@att.net