Yep, that's the one. I've not eaten it myself so I can't comment on "how it goes" as I mostly just try to avoid sauces like ketchup in general when possible.