I am now going to solder the Garmin 18x GPS to the DB15 connector for the RTCM.

I am a little confused by the labels so is this pinout correct?

RTCM  ---  GPS

GRX  ----- TXD
GPPS ----
GND ------ GND
+5V   ----- Input Voltage
GTX  ----- RCV
RST  -----

Is this correct? There is also a "measurement Pulse Output" wire, but I don't know what to do with that.

Garmin GPS 18 wiring
http://wiki.elphel.com/images/thumb/f/fb/Garmin_gps18x_wiring.jpeg/500px-Garmin_gps18x_wiring.jpeg