Hallo Martin,
von der Brennweite ist 9mm sicher das untere Ende des sinnvollen. Qualitativ gibt es besseres wobei nur du entscheiden kannst, was gut genug ist. Das geht nur im direkten Vergleich. Die Frage ist, wenn die mitgelieferten Okulare nicht gut sind, ob man dann gleich ein 9mm Okular nimmt oder nicht ein gutes 25er und eines um 12-14mm Brennweite.
Gruß Uwe