@GurrenPrimeS said:
So, I recently learn that there are Machikado Mazoku OVAs
They're not really OVAs, they're kind of like 30 - 45 second shorts that the animation team did and posted on the official MachiMazo Staff twitter account. They'll be included in the BDs (most likely in the final volume).
This is the last one:
https://twitter.com/machikado_staff/status/1178612332886282246
This was posted on 30 Sept. If you go backwards from that point, you can probably find all the other ones they did. They're not translated, though and I don't think anybody has translated them.
@karappo Yes. There's a red Chinese Magical Girl, but she won't show up until Vol 5.