But, hey look on the bright side; maybe the anti-American lunatics who run Ben & Jerry's will name a special, liberal "flavor of the month" ice cream after them.
I'm starting a contest here on FR to help them out:
What do you think Ben & Jerry should name the ice cream, celebrating "DICKS" demise, and what should be its main ingredients?
Dicks Cream?