It turns out that Randall folks WILL sharpen the top edge of a model three, for $25.