Hi, I'm very new to this stuff and not experienced enough to help recommend anything. But, here are a few things that I would consider important to know that I'd expect have already crossed your mind.
If my use case or project requires a decent Rb reference, then I'd want to know how long it has been running and if it is still within spec on temperature when it is running, among other metrics. This would matter if it was bought on eBay or anywhere. If the Rb is the SRS PRS10, then that information is available (sort of) using the serial interface to the PRS10. Lady Heather can grab that information from a properly configured PRS10. But, the Rb chassis on the SR625 doesn't have an RS232 connection. The main 620 mothership does, but not the Rb side car. So, I would wonder if that info can be found out from the Rb inside. What I'm suggesting is that if you have physical access, and if it's possible, I would connect Lady Heather to do her best on it. But it may not be possible. Someone who has an SR625 must surely know. Perhaps asking the time-nuts mailing list would be helpful.
If my use case is to count things, I don't know that I would only consider an SR620 or 625. A TAPR TICC ($200) is a timetamping counter that can use a GPSDO clock (or whatever 10MHz) as the reference, and compare - or just timestamp - two inputs. The inputs need to be under 100Hz or something but that's what a TADD-2 Mini is for ($40). I suppose it matters what you want to count, if you're comfortable with dead time, the frequency, accuracy and precision. Maybe those things would help people provide recommendations.
Hope that helps and again, apologies if this is just wrong or terribly obvious.
Richard