had being the operative word.
I'm sure he's swimming in perfect water in the celestial koi pond.
I would be lying to say I'm not disappointed, but as he never even made it home I'm not overly attached to him yet, so it is not a crushing loss. Losing one of the kids in my pond would be.
I still have Lucky, so I still get to participate in the grow out and work on my koi husbandry skills.