I am sorry, I would insist the pool is replastered completely.
A waterproof plaster mix is 4 parts sand 2 parts cement. Keep damp for several weeks after completion and this plaster is both water tight and rock hard without any additives. Adding additives may make it more water tight I...