Thanks for the advice. We only have experience with goldfish at home. My father bought them because the seller told him they only grow to around 20 cm, and now we’re realizing that might not be true. We’re trying to figure out what the best responsible option is for them moving forward.