Hmm. The only road bike we have in that size range is my 80's Allez. It's lugged steel, has downtube shifters and the most hideous paint job you've ever seen, and is probably a 50, although maybe a 51. We'll measure the ETT length and see if it will work. It's too small for me but I keep it as a trainer bike. You can certainly borrow it while you're here if you like and if we can work out pedals for you (I think it has Frogs on it right now).

It's not pretty but it was a nice bike in its day, it's in good shape, and it's kind of fun to ride.