Bunch of these popping up lately.
Yes, very interesting, and nice to see more old stuff being saved from the shredder. There are currently at least three 5251 terminals w/keyboards on eBay as I write this!
I must be out of touch with the going rates for terminals though, because they all seem overpriced.