My suggestion would be to shoot an email to CS sponsors who might have a good deal for you. Lots of options in your price range, assuming it doesn’t include the grinder.
From what I remember, the most highly recommended one in the sub 2.5k is the VBM Domobar Junior but I could be wrong. Bear in mind that these machines aren’t really ready in the “3 minute startup” time you have quoted. I dare say the startup time will be a huge difference considering your okd machine is a dual thermoblock. As they say all the time here though, put it on a timer and away you go.