Question: What was the company, who manufactured Batman: The Ride for Six Flags Fiesta Texas, formerly known as?
Sentence (from "Batman: The Ride (Six Flags Fiesta Texas)"): It opened on May 23, 2015.
Relevant evidence: No