My parents grew a small "baby" lima bean (we called them butter beans) that stayed pale green when cooked and had an exceptional taste, not mealy at all like typical Fordhook types. I've searched the catalogs and the only one I find that seems close is Henderson, but I've grown them and they are not quite the same. Does anyone know a variety that might fit that bill? They were bush beans. Thanks for any suggestions.