tortilla-tosser to to salt both sides of the pretzel