I was told the Marinetech 38mm x 4mm was the correct pin wrench to remove these caps, it's too big, it's actually the correct wrench for the large tilt cap. Does anyone know what the correct size is? Both of mine are leaking and need to get them fixed before an upcoming trip.