Do you think I would need 12” or could go with less for the size pond?