Any of you guys use or consider using the following products:

http://www.poolsolutions.co.za/ (prices for products and installation is quoted on the site)
http://www.goodyearpoolpaint.com/
http://www.cosmodec.co.za/Marbleine_brochure.htm (this site has been mentioned before on here)
http://paintapool.com/ (uses a quarsite coating)

Seems relatively economical but I am not sure if it is suitable for koi given that they state the use is for pools? Anybody use this for their pools (evidently I might have to refurbish my mother in law's pool in the next year or so) or koi ponds?

Thoughts?

Regards
Haggers