File:The Sea Devils VHS US cover.jpg