Was done by a guy recommended by the paint suppliers - not these guys but something like them http://poolpaint.com.au/
You can do it yourself - but I wasn't keen to try as have to apply the paint really quickly, and it's quite thick. Cost, including labour and paint, was around $2,500. The...