Finally found this site and got hooked up. KenR here David,
your original mainspring was fine no sense wasting a good spring. Depending on how much you use the rifle, you might consider one of the premiem springs in the future. They are very costly and usually only the serious competative shooters go for them. If properly set up the factory springs generally work very well for most airguns.

KenR