I thought that everyone referred to it as Dolphins Stadium until it opened and then it was named Joe Robbie Stadium. So, officially it was first named Joe Robbie Stadium.