Picked one up at industrial auction recently for 160 ukp + fees. The only thing I don't like about it is the always on fan, even switched off. Run an external gpsdo reference, so the internal osc is disconnected and have the power on a separate wall switch to kill the fan on power off. I know that model is very popular, but never could understand the prices they are making, or at least listed at, here in the uk. An older 5345 is still a valid choice if you have the space, and they are 11 digit, 500MHz, with a plugin capability to microwave Ghz. Very reliable counters as well, one in the lab for years, and no plans to dispose of it...