Suggestions for the GR2

Hi everyone,
I’m keen to pick up a used Ricoh GR II, but eBay prices seem pretty inflated lately.
Does anyone have any recommendations for where to find one at a more reasonable price? I’m based in Australia but happy to buy internationally if the seller is reputable.
I’ve been checking eBay, Facebook Marketplace and Gumtree without much luck.
Thanks :)