Also, the Mazda infotainment in the mid-late 2010s was made by Johnson Controls. The newer systems might be too, I don't know.