I use bench stones for straight razors. Grits 220-1,000-4,000-8,000-12,000.
I also use a belt grinder for convex edges. Grits 400-900-1,200-2,000-2,500-3,000-4,500.
To go from 1,600 to over 10,000 seemed extreme. However, if you say others have had good results then I will go with your experience. That’s why I asked. Thanks for the quick reply.