Lo veo un poco pequeño comparado con otros Sedum rubrotinctum que tengo fotografiados, pero quizás sí lo sea. Le haré un seguimiento a ver si lo pillo con flores para intentar corroborar/descartar.