Are you sure? From what I can tell it's more like 500 USD RRP on release, boxed.

Either way, it was the 90s: two years later that was a budget CPU because the top end was two to three times the speed.