I'm no genuis on this stuff, but I wouldn't put RES and koi together. The turtles might be fin nippers, and they alone produce copius amounts of waste. The koi will produce a decent amount of waste as well. So I doupt you'd want to double the load.
The koi alone should be fine, one thing to...