I ended up buying a DJI Mini 3, because it has a better camera, and the other choice (Mini 4k) was out of stock. Plus, if I like it and decide later to buy a Mini NEO, the controller will work. 2388 RMB, which is about 12000 baht. Not cheap, but, oh well. In for a penny, in for a pound.
I bought it in China instead of waiting a few days until I hit Thailand, because I was concerned about activating it in Thailand, then not being able to fly in China. They activated it (and in English) before I left the store. The other reason for the DJI is that's what 90+% of the locals fly at the park I frequent. I'll fit in better, and the locals in China know the best deals. They're notorious deal shoppers.
I'll post back once I sit through the numerous DJI training videos and actually fly the thing.