Yo te recomendaria un 6mm para planetaria, te daria unos 167 aumentos. Un 5mm te daria 200 aumentos y creo que es algo elevado y lo usarias en contadas ocasiones, no creo que te los aguante la mayoria de las noches. Un Celestron OMNI de 6mm te saldria por 33€. Despues a lo mejor un ocular de 25mm o mas si te cuesta buscar, o alguno para espacio profundo, pero de esos prefiero no opinar, esperate a los maestros del foro que tienen mas experiencia que yo.
estoy de acuerdo
si quieres más campo para buscarem el cielo, pues un 32mm , ( de 50x a 31x se nota mucho y alivia en las búsquedas )
y un 9mm.
Skywatcher UWA 1.25" ULTRA WIDE ANGLE
https://www.astronomo.org/foro/index.php?action=pages;sa=9véndete los de origen, y así los sustituyes, ... quizás alguien con oculares de esos Huygens quiera cambiarlos