Which Jovibarba?

Which Jovibarba would this be? I'm guessing J. hirta but I know little about these.
All the photos are of the same species. Its winter colour is red, and it's light green in summer. The rosettes get to their maximum size in tufa, which is about 1" (2.5 cm), though most are smaller. Thanks in advance.