I didn’t know that, that’s surprising, but I haven’t been following it that closely; I’ve just occasionally seen stories about Tesla shutting off service for DIYers. In that case maybe it won’t be so difficult.