Of the choices you've listed, I'd use the Red Star.
Red Star does make a couple different yeasts though, not sure which one your talking about. Not saying the others you've listed are bad choices, but I've made some real good stuff using the Red Star. All depends on if you want any...