Conversation so far:

Question: When did he become the champ?
Self-contained rewrite: When did Randy Savage become the WWF World Heavyweight Champion?