Roughly what would be the dimensions of the largest pocket sharpener you would consider? The reason I'm asking is because I know of a nice diamond sharpener with course on one side and fine on the other.