Katsuki, Marc
We found the GPS receiver on the left of the network rack in the storage room (see attached pictures).
We tried to follow the black cable that seems to indeed go to the roof of the central building.
While LIGO recommends to have the cable between the GPS antenna and receiver as short as possible, our cable is really long so we should be able to have our GPS receiver on the rack close to the input mirror.
The GPS receiver user guide is accesible here : www.leapsecond.com/museum/hp59551a/097-59551-02-iss-1.pdf