se il laghetto è di 2500 litri circa io metterei una pompa da 4000 l/h
tipo la AQUAKING EGP 4600 ECO
che vedi in questo sito
http://www.ginrinsoragoi.it/POMPE.htm ma la trovi su moltissimi altri siti on line, anche di altre marche.
L'importante è che sia per utilizzo dry (non immersa in acqua)
come filtro, al minimo ti consiglierei uno come questo
http://www.koi-garden.it/webshop/fil...-w-detail.html
con lampada uv da 36W
dice per laghetti fino a 10.000 litri, ma sono dati sballatissimi.
già se ci metti una decina di rossi è al limite....