Hand Tools Archive
All of the above work. The king 1200 might be a little slow, but the 8k should be fine if you're microbeveling.
I'd probably first add a bester 1200 (if you don't mind soaking, it is a stone that can't be used without soaking) or a shapton pro 1000 as a first stone, and if that doesn't satisfy, an ezelap 600.
I found it a lot like sharpening hard A2 - the key to keeping things easy is using the grinder more often and doing less work with the stones.
I manage to sharpen it on a washita stone just fine (I don't use it much, but when I do), but it takes a little more work with it.