https://anime.astronerdboy.com/2015/10/tenchi-muyo-ryo-ohki-ova-4-it-is-not-a-dream.html
Tenchi Muyo! Ryo-ohki OVA 4 -- It is not a dream!