Dry large lima beans - going the way of the dodo?

I cook these to make a fauxtato salad that is virtually indistinguishable from traditional potato salad, in both taste and appearance. I also use them with lamb shanks in a soup that was in my mother's
standard repertoire. I hadn't bought them since last year. Recently, I shopped at 4 supermarkets before finding them. No space or labels on the shelves for them. All had small dried limas (same white color), but if they are analogous to the green lima beans in the freezer section, they have a completely different taste. Large dried limas are what are called butter beans when sold cooked and canned. The confusion is because lima is a generic term for beans.

I live in Boston's western suburbs. Is anyone else noticing a shortage of large dry lima beans?