Try Simple Green on your stones.
Many years ago I was involved in an experiment as sharpener and cutter, basically the muscle. Have a buddy that writes articles for outdoor magazines and he was working on an article about this. He has an extensive collection of custom knives from everybody you ever heard of back in the day. So I cut rope and I cut rope and I cut rope, 3/4” sisal rope to be exact. Literally by the trash can full and I don’t mean the one sitting at your desk but full sized contractor bag sized ones, and I cut rope and I cut rope. This was when there was this gem stone kinda sorta new way of forging (they said) and he’d been given a set of four of these pointy hard gemstone forged knives at a pig hunt where the knives had been introduced to the press. So he wanted to compare them to some other knives for this article. Anyhoo the protocol for this was I cut thin slices of rope with a 2x4 backer until the knife wouldn’t cut the rope. Then I hand sharpened it and cut until it wouldn’t cut, doing this three times. He scribed and took notes. I then belt sharpened the knife knocking the burr off on a buffer and cut till it wouldn’t cut and belt sharpened it again also going three times on each knife. We did this on a closet full of knives, some of mine included. They were all of similar size and grinds, apples to apples as much as possible. I wont tell ya all the details bout how I went through several 2x4s in three days, or how I filled up multiple contractor bags filled with cut up sisal rope. Or how my hand was so sore we were wrapping gauze around the handles and then vet wrap over the top of the gauze and I was wearing padded gloves, or how he bought the beer. Won’t bore you with the details but what I will tell you was there was absolutely no noticeable difference between hand sharpening and using the belt, none. Larrin and I discussed this here some years ago when I related this story another time for similar reasons. I too was surprised by the results cause before I made those eight gillion slices I would of told you that hand sharpening would be superior. What he said if I remembered correctly was that what we had proven was that done correctly, belt sharpening is certainly viable. Not superior but done correctly not inferior to hand sharpening either. What about those gemstone forged knives? Nothing specical there. Multiple knives out cut em, interestingly my friend had several of that companies regular D2 knives and every one of those out cut the gemstone forged ones. Anyhoo, I really haven’t hand sharpened since then. I kinda enjoy it but ole, achy, arthritic old hands say no.