Thanks for the reply, now I know. You don't know by chance what year(s) they were produced. It also looks like I have to dust off my lathe.
I would guess late 40’s/early 50’s, but am not sure… I know there is an article in one of my Toy Steam News catalogs from Summer of 2010, I will try to find that for you tomorrow…
I unfortunately missed this auction last night and of course it went too cheap for the whole lot