From an US liquidator, including taxes and customs duties:
HP8082A, 250MHz fast pulse generator, 182€
needed repair of power switch, replacement of a burnt 2W resistor for the current source, and cleaning.
HP5335A, opt. 010, 030, 040: universal counter 200MHz / 1ns, OCXO, extended GPIB capabilities, C-input 1.3GHz , 330€
needed repair of power switch button, and cleaning.
Frank