Just take your time. Some of us look for months and even years before we find one worth the eBay risk.
There is one fact to consider. I have heard that the 5071A clock is still ITAR classified. It's not because of "atomic" or "cesium", but because the internal design is so advanced that the US decided it was essentially like a military weapon.
If in doubt look for vintage models like 5060, 5061, 5062, or 4050, 4060, 4065 instead of the still current model 5071.