This is not quite true. The original script had two Halloween ‘Michael Myers’ masks and one Austin Powers mask. When we couldn’t get the Myers mask I changed the scene to three Austins. Mike Myers very kindly gave full approval for both versions of the joke.