All three prices you have been quoted for the SanRemo machines sound fair to me for new equipment. That is not to say they are inexpensive, you are paying for commercial duty here.
The SanRemo grinder easily beats the Nemo Lux with 63mm burrs, 35+ lb., but it is 20" inches tall... I hope it is stepless, cannot tell from pics or description that I could find. I would see if they can supply Mazzer or Macap grinders.
I would also recommend that you see if you can go play with any of these machines or grinders at their shop and see what you think.
I don't want to push you towards SanRemo in any way, I would like for you to make your own call on what will work best for you. I took a chance on mine, and I am happy with it. I bought mine used and sight unseen at a very substantial savings.
For those prices, if you can get them, super-refined machines like the La Spaziale Vivaldi S1 or the Expobar Brewtus II, or the elegant but less technical Elektra and Quickmill (or the SanRemo Treviso) machines may be better suited for home use.
I have a full auto 1-group SanRemo Capri, and I've only used for a very short while in a crippled mode (it has a pod adapter dispersion block and showscreen at the moment.) To play, I have been using a triple baket that allows me sufficient headspace to attempt extractions. It's pretty big, ~20" deep, 16" wide, and 16" tall with the cup holder removed or 19" tall with the cup holder rails in place.
This machine has some nice features,
boiler is 4.5 liter copper, with a a myriad of connections on it and even includes the nice feature of a boiler drain valve that empties to the drain cup.
it has well articulated and positioned hot water and steam taps,
it has a well designed drip tray (everything seems to stay in the tray because it is very deep, from front of machine depth, not actual top down depth of tray,
it has nice big steam and hot water knobs like on an most commercial machines,
it steams very well and very fast,
it is made up of industry standard parts, fluid-o-tech pump, RPM motor, Sirai pstat Gicar dosing pad and level controls, E61 type portafilter, Parker solenoids,
the pump is very quiet,
the full auto features electronic preinfusion,
dual manometer gauge for pump and boiler pressure,
well built case, roomy and easy to work on,
warming tray is double layered offset design (like Elektra Sixties A3)
unique styling of case, not just all shiny chrome.
It's downsides are,
it is a big box,
the boiler is uninsulated (I insulated it, easy to do but not for the faint of heart),
even though the machine is quite tall, it does not allow for tall cups (like the Elektra Sixties A3)
it has a simplified thermosyphon loop heated grouphead, maybe not as eloquent as the E61
it is expensive
EDIT - I wanted to add that my particular SanRemo is 110-120V, 2300W

heater.... 20 amp service is a must. Your vendor may be selling 220-240V,