Yo es que en general soy de filtros externos, incluso en acuarios más pequeños

Si te decides por un externo y no quieres irte de precio, echa un vistazo en wallapop, ahí suele haber cosas muy interesantes de gente que monta el acuario con mucha ilusión pero desmonta rápido o que compró algo al principio y se le quedó corto, por lo que tiene que cambiar, incluso los hay que no lo llegan a estrenar 😅 Como tienes filtro no te es una urgencia y puedes con calma esperar a que aparezca algo interesante. Tengo unos cuantos de esos, es cuestión de mirar con calma
Acabo de echar un vistazo en wallapop. De Eheim no he visto nada (que yo voy más por JBL casi siempre pero por variar he mirado), pero hay un JBL e702 sin apenas uso que estaría perfecto para tu acuario y a buen precio. También hay unos cuantos JBL e402 casi nuevos y a buen precio, pero se quedan un poco justos, aunque también pueden valer 😉