What bean is this? – Reddit Post

We recently moved in to a new home and there is a massive runner bean plant in the garden. Had orange/red flowers in September. I just picked this morning this big one, can anyone tell me what type of runner bean it could be? Can we eat them? I was looking online and thought it could be scarlet runner or achievement merit?