Thanks!! I didn't expect them to be "high dollar" guns... they are "fishing" guns. I spent the evening cleaning them up and I shot them both today. Surprisingly, they shoot very well. They will do exactly what I need them to do.
My uncle has virtually the same gun as these in 22 short made by RG. His is the model RG10, also made in Germany. Almost a spitting image except for a few minor changes in grip frame.