TrigpointingUK

I am looking for any information relating to a Trigonometrical Station on Campbelton Hill (Postcode: KA23 9QG) in Ayrshire Scotland.
After looking at archive OS name books this hill is listed as having a trig point.
https://scotlandsplaces.gov.uk/digital-volumes/ordnance-survey-name-books/ayrshire ...