I must be in the wrong corner of the world. These things cost 20k here new, 15k refurbished. If I look across the world on ebay, I can find some for 3k, but "just for spares", i.e. not working, from UAE. Working ones on ebay appear to be around 8k.
Yes, it seems like waiting is the path to go...