Machine wise you can do better than Linea Mini for $3K. I am in the exact same lookout as you, thanks for opening the thread!
I was about to place my money on a Decent DB1-pro but TBH, I am not convinced yet of that machine in many fronts and after much thinking I am leaning more towards a more traditionally built machine that can control/monitor group-head temperature. In this category, the Bezzera Duo DE is my favorite so far, but Im still researching. Looking forward to read others recommendations.
In girum imus nocte et consumimur igni