I see what you are saying.
But if you calculate the others, that gives a knive from the sharpmaker at 40 degrees and from the gatco at 50 degrees.

I know that my Buck knives are sharpened to 25 degrees from the factory, so the Gatco would be the one to suit them assuming that they are measured the same way.
I assumed that the RSK was measured the same way as Buck measured theirs and was set to 30 degrees.