The top tube doesn’t look as bad as I was expecting. I have an 83 Panasonic PT-5000 that has a small dent in the top tube from where it fell over when the previous owner was on tour and it doesn’t seem to affect the way it rides.
I am becoming more interested in those Koga-Miyatas although they are harder to find over here. Do you know the difference between the Randonneur and the World Traveller?