It's definitely the same device, the difference being the different lengths of free Instant Ink time. However, if you are not a heavy user and print different amounts per month (like me), you are better off with the conventional cartridges. In that case, buy the cheapest device from the 9010 series!
I would also be very interested in this question! Can someone from the Digitec team explain this? What is the difference between 9010 / 9012 / 9014 /9015 /9019 ??!
As far as I know, it is the same device. There are simply different contracts. The higher the number, the more cartridges per time unit are bought in advance. As a private user with low consumption, I would buy the cheapest machine today.