well, he will never be bigger than the koi as koi grow much faster and with their body shape, they are much bigger than the gar. Also, the older the gar get, the less likely for it to try eating the koi. the goldfish is the problem here as their tail might get rip.