I think I'm pretty close to buying a 3D resin printer, but I am a little overwhelmed by the choices. My main use case will be printing wargaming miniatures and other small models. I don't want to spend a ton of money, but I also don't want crap that I'll quickly want to upgrade from. 4K is preferred, and any software it needs will have to run on linux. Any suggestions?