Yeah, I thought the body shape looked more like a minnow than a koi would look.

My main reason for wondering if they were baby koi was because this is the first time in almost a year that I've seen any of them, and I only saw the one little group.

Thanks for all of your help, guys.