Post #7 updated today by Phil to include measurements of the Air Arms TX springs.

Thank you, Mr Russell.