And another known one:
It's the car owned by Dean Martin, see blog:
As you can see it was sold for a very good price in 2007. There is another one listed on the same auction which got even sold for 52k USD.
Very high prices for the US Market, I'm not sure if this is caused by the famous owners of these. This one came out of the private collection of Robert E Petersen (https://en.wikipedia.org/wiki/Robert_E._Petersen). Both were having the "desirable" manual gearbox as well.