Pocket stones are a useful tool. If you carry one. Check out Dan's Whetstone's and eBay for them. They are fairly inexpensive. 🐓