There is a big quality step between a Trophy and a 4200...
I use low power scopes on my 9.3s. The 4200 is definitely a good one. I also used Nikon Monarch UCC with good succes.
The main problem with the small bell (output optic) is the lack of field width field. That's why, for a compact scope, if it's possible to mount, I prefer a 32mm.
Also, be aware that under say 2.5 to 3 X the iron sights will be visible in the optic, wich is sometime annoying.