Where is the best place to buy used enterprise servers?

Right now I am looking at NZ's second hand marketplace TradeMe. But there are not very many options. Are there any other places I could look to buy? Or is it better to use a couple of Orange Pi 5s? My budget is $800 NZD or around $500 USD.