After the antenna work I did in my previous post, my GPSDO MKII had stopped working.
Reason was that I had been a little too rough with the small coax going to the rooftop GPS antenna.
The coax had shorted and this being an active antenna the RF-choke on the Jupiter GPS board feeding the antenna with 5VDC was fried. Having no idea on what value the original inductor has I had to substitute it with something, I chose a 33nH inductor with a self-resonate frequency around 1.7GHz.