[NLRS] HP Z3801A GPS 10 MHz stuff

[Mike King - KM0T]

Hi everyone, I am looking into getting one of these HP GPS receivers for 10 
MHz output...Z3801A

I have found one source on eBay - $400.  Seems to me they were in the $200 
to $250 range.

Does anyone else have one to sell or know of another place that is not quite 
as expensive?

Thanks much!

73

Mike - KM0T