How much money does the WWE make from WrestleMania?

Wrestlemania XXV which took place on April 5, 2009 at Reliant Stadium in Houston, Texas had 72,744 fans in attendance. This was the highest grossing pay per view in their history with 6.9 million dollars brought in just in ticket sales.