Dave,

What is the brand and part number/name of the tool?

Is it a portable tool that would be able to cut off a rope that is in place and is protruding from seat/channel?

(shown in figures 23 and 24)