Wow that is more than double the retail price. You usually find them new for $1300. Alternatively, you could look into a used GPD Win 2 (Released End of 2018). In my area, I find them for €350 used.
That's awesome! I also wanted to combine Ghidra and GPT3, but I was unsure about its capabilities to explain code. I made a plugin where you highlight part of the listing view and it explains what is going on with the help of ChatGPT. Link for the curious: https://github.com/SourceDiver42/Ghidra-ChatGPT