Mine is. Or I should say, it was! Found this guy on the web.
I bought two of these, installed easy and water temp dropped from 90 to 82 overnight!!
The dude is in Houston. It's about $3 worth of PVC fittings you could make yourself. Hard part would be driliing the hundreds of holes. I paid the man his money and no regrets - pool is nice now.