Hi,
You've got two or three choices really, an oil stone, which tends to be softer but cuts faster, a water stone, which is harder but cuts slower, or a diamond stone which is probably the most convenient but on the expensive side.
traditionally in the west oil stones were used and you only tended to need a single, double sided stone to do the majority of sharpening. However, some will swear by moving up through all the grades.
The choice will ultimately come down to you but i think somewhere around the mid mark would be good enough for damage repair, if you choose one too fine you'll be there for a long time.
Michael W