> I am not sure those 1.4 cpu cards ever shipped to end users?

Gunnar "BigGun" von Boehn of Greyhound Data is a developer. I don't know about the "Pegasos 2 users" itix wrote about. Taking into account that a Free Developer Workstation is obviously aimed at developers, you are probably right that it didn't ship to end users initially. But developers can very well have sold their machine to end users by now.