DVD release of "High School Fleet" anime OVA (episodes).