I was interested in setting up a tank with a Jack Dempsey, a Texas, a GT and a Red Devil. Any suggestions on what size tank would be suffiecient for them? Filtration suggestions? This is what I would eventually like to have and I am trying to plan ahead.