Japanese koi fish

We have Japanese imported koi, and domestic health checked koi ranging from 2- 10 inches some bigger. May be willing to trade for other koi as well. Let me know what you have. Phone number is show contact info