From https://www.tech-pubs.net/wiki/IRIX_101 -

> Why are machines that run IRIX expensive?

> There are no new machines being produced, and high-end machines are in short supply. Less expensive machines can be had. We do not recommend using eBay to search, as the prices are usually extremely inflated.

Less expensive machines can be had on the non-eBay used market, or have we hit the point where the cheapest way to have such a machine is dedicated emulation like https://dmitry.gr/?r=05.Projects&proj=33.%20LinuxCard ?