We do have a residential one about that size that we helped build. I think it was in TX also. It is an awesome pool and yard. I will see if I can find it.
Welcome to TFP! For a wealth of pool care information please check out our free Pool School. If you are in need of specific help then we encourage you to Register and ask us here in the forum!