Hi Richard, Welcome.
If possible, get the 12 mm instead of the 9 mm. Reason for this, later, when you get a barlow, with the 20 mm you'll 1/2 it to a 10 mm. But if you 1/2 the 9 mm & to 4.5 mm, you may find this slightly overpowers the t'scope. 1/2ing the 12mm to a 6mm is a better, (IMHO), choice.
Mags you get if the t'scope is an f8, (please correct if not)(ie;1600mm long),20mm = 80x, 12mm = 134x, barlowed 20mm = 160x & 12mm = 267x.
To use the 9mm barlowed would give you around 356x mag. & this is very close to the max that can be expected with that aperture. (Remember the magic # is 50. ie; The aperture of your t'scope in inches x 50, ((8 x 50 = 400x)). This is the max mag. you can theoretically use). You'll need very good conditions to ever use that mag. unless of course you buy Naglers or similar E/Pcs. with a wider AFOV.
HTH.
L.
Thanks Mike. Wasn't sure of correct fl. or f ratio. (1000mm @ f5)???
Minor corrections needed with calcs!!!
L.