The last ones were selling for a bit more than $7K a few years ago.