When I recently got cable TV, I saw one of the installers using a device to tighten the coax cable going to my cable box. Looked like a simple tool. Do you professionals know what this tool is called and where I can get one cheaply. I tired of trying to hand tighten coax cables only to have loose a few months later. And some places my fingers can't even fit.

JP