Congrats! Absolutely jealous. I have the Chef’s knife... and that’s it. Been looking for any one of these for quite awhile. Where was this online auction?
...and yes, those are the original set from 1982ish. The most recent set was only steak knives with a serrated edge.
@Neil_VT00