Anyone deal with them? I built a pond for gold fish , turtles and frogs. The wife wanted these two koi but now they are getting too big. Guessing they are 14" id like to sell them but don't know a good starting point.The internet says they are worth some coin but I don't know the sex or type these are yet...anyone with experience?