Hi Tim,
Is this A1F1 as listed in the
manual?
If so, you have the 9 digit Tektronix part numbers there and you can get a quote for them by sending an email to buy@tek.com.
A picture of what the part left on the board looks like might also be helpful.