I think this might be a sedeveria, but anyone know which kind? The leaves are quite stiff... I thought it might be a 'blue burrito', but I have one of those and it looks different. The blue burrito is more blue, with pink tips and softer leaves...