Pretty. The closest Echeveria with that color flowers would be E. pulidonis but the leaves and flowers are a different shape, so maybe it's a hybrid, or it could be a Sedeveria or similar. Out of my range of experience at that point. But that's a lovely followup, Paul. 
