I've heard of Walther rifles bearing the names Rotex and Rotek. Are these the same rifle, just marketed differently in different places? To make sure this wasn't just a reviewer's mistake, I found pictures showing both names engraved on receivers.
