$400 ish, is a Pretty good price, that's about half the KiwiSDR price, and much higher specs. Not sure what a red pataya goes for these days but they were pretty expensive. The specs are sililar to the flydog SDR, which is no longer available. But flydog needed a Raspberry Pi host.
Red Pataya SDR seems to be going for 800+ euros. Seems a bit high.