You done good then!
I don't know exactly what the going rate is now today.
But I paid more then that, more then once, just trading up to better sheaths for my dads old knife.
Anyway, what other new knife could you buy today for $75 bucks that compares to that one historically, or heavy-duty user-ly??
rc