This bug applies to printtool-3.28-1 and possibly other
versions. The good news is that it's really easy to fix.
BTW, the reason I noticed this is that I work at Tektronix.
I'm assuming you're talking about the one where it's
spelled 'Tektronics'? Fixed in rhs-printfilters-1.57-3;
will be in next Raw Hide release.