Prices have taken HUGE drops over the past few months.. the larger 8k+ printers are now sub $300.
The Saturn 3 12k is currently at $285. (choice #1)
The Anycubic Mono M5 12k is $270. (choice #2)
If you have fun with FDM 3D printing... take a hard think about resin.
With the proper workflow, it can be easier than FDM with 100x better results.