I wonder what those will go for. The triple La Marzocco goes for >$20k new and the singles about $9-10k:

https://prima-coffee.com/equipment/la-marzocco/strada-ee-la-...

https://www.espressoparts.com/products/la-marzocco-linea-cla...