Hi, I just bought such a machine on ebay. The seller has a second one available. Just in case there is an OpenBSD developer interested in getting such a box into the list of supported SGI hardware, I'd buy a second one, and would offer to donate it to the developer in question. I'd prefer to deliver the box somewhere here in Germany, but if necessary, I'd send it to somewhere in Europe too.
just let me know. Sebastian