Do you put salted peanuts in your soda, most notably Dr. Pepper?

I understand this is a long-standing Texas tradition.

Well, it's news to me.

Tried it today and thought it was interesting. Not something I would do regularly, but definitely intriguing.