Yep, that would be it. Looks like either #7335 or #280 in the catalog pics. I might have to take another road trip. I sure has hell don't need it but it sure was interesting. Plus, I "need" a 9.3x72R to go with my 9.3x57, 9.3x62, 9.3x64 & 9.3x74R...