We are trying to help a new owner nearby us who has just acquired a GTX1 (#6, I believe). This car is missing the "pin" at the front of the roof that holds the hardtop down. I'm looking for the size/dimension of this pin so that we can get (or manufacture) a replacement. Any GTX1 owners out there who might be able to tell us the size/dimensions of this pin? Your help would be greatly appreciated.