Hey guys,

Need some help here. My boss is looking for a tool that utilizes a diamond-wire to cut small pipes in a piperack. He saw one in action and didn't get the manufacturer info or anything and is now wanting to look into getting one. Any of you ever heard of or seen one of these? I'm taking it as it is like a porta-band but uses diamond-wire instead. Any help is appreciated. Thanks.