Obvious what the tool does (makes straight lines in cement finishing), but my online searches for PETKO only turn up Petko Industries of Los Angeles that made home door keys in the 1960's. I haven't been able to find anything about a Petko hand tool line. Any old cement workers in this group? I don't need another sub, sub, sub group of vintage hand tools that only work cement... but... it was only a quarter at a yard sale, and I've jumped down worse rabbit holes.