What I know to be butter beans is a much more mild flavor, and if you boil them, they are pretty good. The ones I have seen are more rounded than lima beans, and more of a yellow color. Not the same thing as the Lima Beans to which I was referring though.

I also like baked beans and pinto beans, but actual green lima beans are just the worst...

I know what limas are. There are actually several varieties of beans that are formally referred to as limas, but called different names in different regions. My specific area of the south refers to all of them as butter beans. The small, green ones and the big, fat white ones, the speckled ones, and baby ones. Dried, fresh, frozen.
You don't boil them. You put fatback or white meat, or whatever you call it there, in a pot of water with the beans, season with salt, and bring to a gentle boil, then reduce to a simmer, a slow gentle boil, and cook until they taste good. If you cook them until they are just tender, they still taste green. Cook them longer, and they are much better.
I agree with you though, the way they are cooked when they are called limas, they taste bad.