Tra un filtro interno (riparato) e uno esterno nuovo non avrei dubbi..... Esterno!

(oltre ad essere sicuramente più efficiente, libera un bel po' di spazio in vasca)
Il pratiko 100 va benissimo. In alternativa dai anche un'occhiata agli Eheim... costano un po' di più dei corrispondenti Pratiko, ma penso che siano migliori.