Thank you Sean. Searching for "gold-tipped chlorine sensor" lead to this page:

http://www.jumoplus.com/store/produc...FQ5dYQod_mnSPQ

There is even a list price, $795, and it looks like one has to buy the controller in addition. That may be a bit too much. It's not even clear how long it will last...