Hullo
Bev, one of your plants looks like a Dudleya hassei - the one with long whitish green leaves. Not sure about multi-spikey with red tips, but it does remind me of Crassulas when they start feeling cold, they get red tipped or entire leaves go red.