I am going to play the part of Black Sheep here. 10 Koi in 2500 gallons is not too many fish providing you have adequate bioconversion (filtration) and water flow (at least 3750 gph, preferably 5000 gph).
As to filtration, are you firmly set on going the DIY route or are you open to installing pre-engineered modules? DIY has its advantages, mainly initial cost but can be short on aesthetics and functionality and ease of maintenance. Pre-engineered units are more expensive, but are designed to blend in more easily aesthetically, are easier to maintain and are designed with functionality being of prime importance.
I would prefer a diy for filtration. Aesthetically, it will be fine. We've got that part worked out. I am trying to keep my spending to a minimum, as I've already spent quite a lot of money and now I need to buy a new pump. I'm sure a pump for 4500 gal isn't going to be cheap.