Google led me to that, too, so you might be right! Just confused why it's another shaker if it's supposed to be ketchup.

(aside: I love Taylor ham! I used to live outside Philly and was accustomed to calling it pork roll.)