My finest stone is only 6000. Between that and a very cheap paddle strop with aluminum oxide powder, I get an edge that does a great job. I think he should eventually be able to get a very good edge with an 8000 grit stone.