I'm pretty sure it wasn't the actual NeXT he used. That is in a museum at CERN (where I work at the moment). I can check today by going to the museum, but it was there a few days ago when I showed some visitor friends around.