| Release Date | September 20, 1988 | |
|---|---|---|
| Status | Released | |
| Original Title | ドキドキ学園 決戦!!妖奇大魔城 | |
| Runtime | 10min | |
| Budget | — | |
| Revenue | — | |
| Language | Japanese | |
| Original Language | Japanese | |
| Production Countries | Japan | |
| Production Companies | Animaruya | |
| Release Date | September 20, 1988 | |
|---|---|---|
| Status | Released | |
| Original Title | ドキドキ学園 決戦!!妖奇大魔城 | |
| Runtime | 10min | |
| Budget | — | |
| Revenue | — | |
| Language | Japanese | |
| Original Language | Japanese | |
| Production Countries | Japan | |
| Production Companies | Animaruya | |