I am building a tropical pond for large catfish and was wondering which dimensions are better for redtail catfish or if I need to build bigger. The two different sizes are 12 x 6 x 3 or 8 x 8 x 3. If these sizes are to small then what demensions do I need to go with?