I have a Jacuzzi that is 14 years old and leaking from the bottom. It may just be the o-ring but the pool stores don't want to repair because they said it is probably a crack as they are known to crack. Anyway one pool store recommended the Hayward 900 and the other store Hayward 1200. The Jacuzzi is 100 sq ft. My pool has a 1 1/2 hp pump (just replaced after 3 years). I have 6 returns, 1 skimmer, 3 jets and a small water fall and a line for pool cleaner. The pool is approximately 19 x 30 and holds about 16,500 gallons of water and it is with chlorine. Any suggestions on which one I should purchase? or look at any others?