Hi folks I'm trying to assist by sister with an air rifle that belonged to her late husband. I know some things about guns, but nothing about these airguns. I understand it was a fairly expensive rifle when purchased. Local gunsmiths have no idea. It is a RWS TX200SR. Anyone know who repairs...