Red bellies could take a while to grow from 5" to 9" I would say at least another year or so depending on tank size, diet, water changes, etc. rbp's slow down drastically around the 5" mark. They generally will grow faster in a larger area so if the pond is bigger yes they may grow a little quicker.