I have been sharpening an old razor I bought at a car boot sale with an oil stone I bought when I was a kid using the fine side then a strop I can get it sharp enough to shave hair off my arm but not sharp enough to shave with so the question is what grit Waterstones to get? Will a 8000 or 10000 grit be fine enough or what would people recommend? Thanks