Yarnell's made great peppermint ice cream. Peppermint was not on the list of flavors originally published by the new owners of the Searcy dairy. If the seasonal flavor has been renewed, I haven't been able to find it.
Blue Bell is selling peppermint this season. It is inferior stuff.
Any suggestions for alternatives or, hope against hope, Yarnell's has revived the flavor and there's a place I can buy it?
UPDATE: Thanks for all the ideas here and in e-mail and Twitter responses. I'm set now with multiple types for a taste off.