I wanted to put a bid a minute before auction ended, with no hope of winning it, but I got it. Not sure if its a great deal, ($35 including shipping) but I look forward to cleaning it up, honing it and trying it out.

https://www.ebay.com/itm/Old-Vintage...53.m1438.l2649