>However, we had that GPS sensor on loan: I suspect the purchase cost of
such
>a device would blow my budget.

Check out the Garmin 25 series, these are complete uncased receivers without
antenna. I can get these in the UK for GBP99 from RS components, and they
are an expensive source in an expensive country. YMMV due to taxes etc, but
in the UK this is a good buy. Anyone have a cheaper source in the UK I would
like to know before committing to one of these, must have an accurate 1ppm
output.

--
http://www.piclist.com hint: The list server can filter out subtopics
(like ads or off topics) for you. See http://www.piclist.com/#topics