My brother has requested some sharpening/honing supplies for his straight razor for Christmas. My husband thinks we should get Japanese whetstones, the one he found is described as:

Rough whetstone:
Dark color side(Rough Grain Whetstone#400):
For removing large chips or dents,heavy rust and imperfections,creating a razor sharp edge;

Bright color side( Medium Grain Whetstone#1000):
For most typical, everyday little damage, making the blade more sharp and good shape;

Fine whetstone: White Fine Grain Whetstone #3000:
Both sides for fine tuning and a super-sharp and shining finish

But when I look online it sounds like we really need a 4000/8000 Grain, but can I get the above ones? or will they damage the blade?