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.