yes I think the pro is it (maybe with 2year extended for £15 at JL - are they transferrable)
2nd hand with a Silvia I think you would be lucky to better £250 and fixing its element can be expensive.
(owners can let it boil dry during steaming)
Strange that could buy the Pro and the separate Sage smart grinder for same as a barista, but the combo takes more space
and is less pretty ... but maybe gives flexibility.
The Pro is 300 and the Sage Smart Grinder is 177 on Amszon so you'd be saving 70 quid. However I'd go for the Barista purely due to convenience / all in one space saving. However that grinder does look impressive.