So do you know how many where built with the Gator top?