bought this for 5 dollars today, it's kind of dirty, how much this thing can cost?

Post image
A subreddit for sharpening edged tools.