Nice pond. Gator should be OK in that for a year or two.