in 2500 litri tenere le KOI è un po' un problema, rischi sovrappopolamento / nanismo... purtroppo sono pesci che richiedono grandissimi litraggi, al contrario delle varietà di pesce rosso, altrettanto belle ma di taglia molto più contenuta.
la menta puoi suddividerla e creare altri vasi.
se piantata a pelo d'acqua, puoi benissimo usare anche la normale menta che trovi nei garden/supermarket, un vivaista mi disse che tutte le varietà di menta si adattano alla coltivazione in terreno umido come piante palustri, e lo confermo: avevo in un angolo del giardino della menta presa al garden, quella per fare il mojito e me la sono ritrovata nel laghetto che cresce dalle zone di acqua bassa.