Maybe I missed it, but did somebody think about the uBlox LEA-6 rx? has two timemark outputs, which are programmable.. so you can have both 1PPS and 1000PPS. Achim