Das geht doch auch ohne Excel: gewünschte Austrittspupille * Öffnungsverhältnis der Optik = Okularbrennweite.
Um 3mm AP an einem f/5 Dobson zu kriegen, braucht man 15mm Okularbrennweite.
Ich empfehle eine Stufung der AP von 0.5, 0.7, 1, 2-3 und 5-7. Es ist gut, wenn man bei hoher Vergrößerung engere Abstände hat, um sich dem Seeing anpassen zu können. Wenn man so die Brennweiten bestimmt hat, stellt sich die Frage, welches Okular zur Sollbrennweite am besten passt. Das hängt dann von anderen Eigenschaften des Okulars ab, Schärfe, Kontrast, Einblickverhalten und Schmerzgrenze beim Preis. Klar ist lediglich, dass man im Zweifelsfall immer das bessere (teurere) Okular kaufen sollte, weil man dann wahrscheinlich lange seine Freude daran hat. Mist wird doch nur durch was Besseres ersetzt.
LG Tom