I was under the impression that they had taken over from the Hunter det
Red section quit Gibraltar for good on the morning of 3rd August 1979 after many years of faithful service leaving behind many happy memories of Penelope's, Ray's Inn, USOC and, of course, Town Range.
From what I remember, it was quite some time before there was any form of permanent replacement detachment.