Glad to help, I have been working on VW busses for almost 50 years and knew right when I pulled mine out what they were. We call it the VW kit car thing, if you look at VW's from the 50's to the 90's they have many identical parts, like dome lights for example.