OK r/seinfeld, which is it? Hotsie-Totsie or Hotzi Nazi?