I’m thinking about upgrading to a Lelit Mara X, but was wondering about its long-term servicability. Most HX machines are based on pretty standard components, but what’s appealing about the Mara X is the thermal stability magic it’s doing which, as far as I understand, is controlled by a Gicar box and the software running on that. How dependent am I on Lelit, long-term, to maintain their software etc. in case I ever run into trouble with that?