Well what looked like a clean JDM 95 manual in green with 74k miles sold for 41k on Collecting Cars.

Seems the market is a good bit softer/ someone got a bargain.

https://collectingcars.com/for-sale/1995-honda-nsx-1