Are these Red Beans or Red Kidney beans?

Though people seem to consider them 'the same thing' they are actually not. There is a 'red bean' distinct from a kidney bean.

What you have there, though, are kidney beans.

I found a couple of sources of comparison. The first, in text, from an actual bean company, Randall, which I thought gave it some added authority.

Kidney Beans
Of the three ^{[they were including pintos, which we don't need here]}, kidney beans are noticeably the biggest and plumpest. Looked at side-by-side with other beans, kidney beans also have a much more distinct shape that isn’t as round and oblong and looks more like a kidney. Go figure! Their thicker dark red skin makes them ideal for and commonly used in lots of dishes that are cooked over long periods of time like chili, baked beans, and jambalaya where they are great at soaking up and absorbing other flavors in the dish. But, they are also a great hearty and healthy protein topper for salad too.

Red Beans
While many people think kidney beans and red beans are the same, they are actually two different kinds of beans! When you put one next to the other, the visual differences are immediately apparent. Where kidney beans are one of the largest beans, red beans are much smaller and retain the classic oblong shape. And while both are red, kidney beans have a darker, more crimson shade while red beans are much brighter, almost pinkish, shade of red and have a much “beanier” taste. Despite their differences, red beans do often go in similar rice and stew recipes as kidney beans and pinto beans.

…and another source with pictures… Difference Guru

Kidney beans

Red beans