I saw that one on Craigslist in Dallas/Ft. Worth and thought about buying that myself. Price was right (a bargain, actually)...if you got it for less than his asking price, it was a complete steal. The guy sorta-kinda knew what it was, not REALLY what it was or what it was worth.
I decided against buying it because I have too many projects going already and storage & workshop space is an issue. I didn't need yet another different make and model to work on, though I've always really liked that particular model. I am glad to see that it went to a good home.