Do you know I've never been able to work this out how can one fish require 1,000 gallons when the next fish probably the same size only needs 300 gallons.Most serious Koi keepers suggest 1000 gallons minimum plus 300 per additional fish.
Jesus if I paid any attention to that I'd have one koi personaly I think its Bull however you still get folk wanting to argue it .
Dave I PM'd you just go with how many your head thinks remember I used to keep indoors with only 220 gallons and even then we were over stocked.
Just as long as maintenance is carried on with water changes and you test your waters on a regular basis I cannot see it being a problem my friend.
rgrds
Dave