You have a point. There are a couple million people in Ireland and one working Tektronix 4014 terminal. I would expect to be a hundred of them in the US, which doesn't seem that far off ;-)

We should have more DEC terminals though. We had a factory in Galway.