I am not affiliated with this company but have been buying from them for about 15 years, and they are excellent. They will walk you through any service necessary, etc and sell only high quality machines. May be beyond your price range, but I would at least start with them and see what they can do for you.
https://www.chriscoffee.com
My machine is my baby, but was around 2k not including a grinder. Use it every day and could not be happier. They also have open box, etc at this place.
Best of luck