He could skip to an EP or WE maybe paper wheels or a belt grinder as well.
Sandpaper, natural stones, synthetic stones, diamond stones, cement blocks, cardboard.
That's if you want to sharpen, other than that use a search engine or ask around at gun/knife stores.