>>283271709
No the Pachinko machines have their own animations separate from the OVAs. It was initially created as a multimedia project, but since the OVA's went into development hell it became mostly a pachinko property.