Tektronix part number 017-0510-00 is a 10 ns cable with 125 Ω GR-874 connectors on both ends. It was a standard accessory included with the 519.