真魔神传 Battle Royal High School

"Shin Majinden Battle Royal High School" was released on December 10, 1987, by Tokuma Japan Communications as an OVA on VHS (128SH-36) and Betamax (128SB-5036). A single-volume LaserDisc (98SX-16) followed on January 25, 1988. The total runtime is approximately 60 minutes.