Antenna nut spanner wrech size ?

Does any one know what size the spanner wrench socket is for a 1981 Corvette power antenna nut ?  this socket is for the nut on the top of the 1/4 panel and holds the antenna mast as it comes up out of the 1/4 panel. Would a Macs tools SC159 socket be the correct socket for this nut ? It's a 4 prong socket.

|UPDATED|9/22/2019 4:18:27 AM (AZT)|/UPDATED|