I'd recommend the 4k/8k combo. Assuming the razor's edge is in good shape now, you might be able to get it sharp with just the 8k, but eventually it's going to need something a bit more agressive. ...