[SkyWatch (Dean)]

You are correct: the exit pupil has to reduce with increasing magnification. 3.5mm would only be at 23x, assuming the full 80mm objective. (It should be 4mm at 20x, unless the objective is stopped down to an effective 70mm.)

All the best,

Dean