Ho dato un'occhiata in giro. Consigliano una pompa da 6000 a 7500 l/h.
Io ho il 10.000 con pompa da 4500 l/h e va benissimo. Io con il 14.000 userei una 6000 l/h. Poi se vuoi usare una 5000 l/h non cambia molto.
P.s.:puoi usare benissimo la tua pompa. La "regola" è che in un'ora la pompa porti il volume della vasca. Te hai 3500 l. quindi con la 4000 sei a posto.
