re: #288 b_sharp

We don’t have a Ben and Jerrys here.

They sell it in all the grocery stores now (have for years as a matter of fact0