midget submarines is a classficcation in the submarine community. And have been in use for many years. I have never heard the term mini sub.