You were at DEC and you actually saw one?! Blimey. We were told if we wanted them so badly we'd have to lease them from an external supplier and there was no budget. I think the first time I finally saw one in the flesh was in the late '90s after I'd left DEC... and that one was running Windows. D:
During DEC's Alpha Famine years, ISTR some manager was telling customers that the likes of the CHEFS:: "super"cluster was all Alpha but AIUI it was and remained a collection of ageing early-era Vax 6000s with random odds and sods bolted on probably over ethernet; the performance was often commented on and the comments tended to suggest it was anything but super. As was the branding: "what shall we call it? Something catchy like Alpha eVAXPng!" and giving potential customers a moving target. I still have my "Imagine being the one without AXP!" horse-racing pen. It's so crap that I've treasured it for decades.