Gadgets Ketchup pen and mustard highlighter August 27, 2014 Next time someone is grilling you for a pen or highlighter – gladly serve them up one of Ketchup Pen and Mustard Highlighter sets!