I have to say Mick, sorry but don't think that this will be any where near big enough for koi. Unless you get very small ones to start with.
For me its the volume of water you will have that gives me the worries, however I wish you all the best with it.
Just my opinion.