^ +1
The black/red GR on eBay I linked to above, with red *lugs* on the headtube rather than the headtube itself being red, must be of the same vintage, very early 70s or before. I hadn't seen one like that before but maybe you veterans have.
I think mine is impolite and is going to jump the queue to get worked on before some other projects.