I posted the answer to this exact question on the "Randall Ordering Knife Questions" thread a couple of years ago, after asking Dirty_Water (Blade Show 2017).
short answer:
Quote:
If you order a model that defaults with thumb notches (like, say, Model 5) and add a double-hilt option, they will build your order without thumb notches.