As the Warthogs, the team's mascot was Wally Warthog; with the new nickname, the Dash are holding a name-the-mascot contest for Wally's replacement.
The team's mascot was Wally Warthog. This was as the Warthogs. The Dash are holding a name-the-mascot contest for Wally's replacement. This is with the new nickname.