Do you know...are those proper terms if I were to search for the parts at an online gun parts site? I've seen the term "sear spring" but I don't know if that's the right part.