Hello! So, I recently visited some cousins in Indiana and they gifted me Leo! Although, I was wondering…is this little guy a Koi? I know Koi can real big, so I wanna know, should I get him into a different habitat ASAP, or is he fine? (Btw I’ve also provided some pictures of my other fish, just in case he’s not a good tank mate. Thanks in advance for any answers!) (Btw Leo is the orange and black one!)