I've noticed that "El Tigre" is listed by this database as being made by Nicktoons Studios and distributed by Nickelodeon Animation Studios, while several other Nicktoons are listed by wikipedia as being made by Nickelodeon Animation Studios but are instead listed by this database as being made by Nicktoons Productions.
Is there a difference between Nicktoons Productions, Nicktoons Studios and Nickelodeon Animation Studios, or are they all just different names for the same thing?
