Did you know that Devil Goddess (1955) was the last film in which Johnny Weissmuller acted as Johnny Weissmuller, as well as the last film Weissmuller acted in?