If you get an Alldata or Mitchell subscription I can confirm those are the same OEM manual republished. Only difference is Mitchell has modified wiring diagrams to their own way of doing it. Easier to read mainly, but I've used both at work and it just depends on what I'm specifically looking at that determines which I prefer for that case. Mazda diagrams(via Alldata) are what the Mitchell ones are based off of, so I'd say go for the source of you're paying for a subscription.