Variety of beans?

Anybody have any idea what kind of beans these are? The shell looks like butterbeans, as does the shape here, but the color is quite different. If you know, got any tips for cooking? A friend gave us these from his organic garden.