Tektronix TDS744A trigger level encoder replacement

[the_fpga_stig]

I recently acquired a TDS744A in very good condition and recently calibrated.

The only problem is a broken trigger level encoder (probably knocked by someone).
I want to replace the encoder, but I can't find the part number of it. I also don't want to disassemble the broken one because it still works (a royal pain, but works).

Does anyone knows where I can find the part number? The service manual only lists the entire front panel assembly.

Cheers!