I MIGHT be wrong - you should call them and check.
But I think “Full Red” is not a complete product name, but a “family” of products. That means there’s “Full Red” Puree, Full Red Sauce, and maybe a couple varieties of those (“extra heavy,” etc).
I had trouble making SURE that distributors were...