Files used for the RED robot.