Is there such thing as R6BE001_RED52?

I recent just updated my W580i and the firmware is R6BE001_RED52.
But I can't seem to find it. Is it that same as either R8BE001_RED52 or R6BC001_RED52?

No, as number grows up, that means that it's newer firmware. Check out download area, and good luck :)