Just a quetion, but did anyone recieve a red line specific owners manual. My dealership said "they are exactally the same" so of course I got into a argument with the service manager about, how would anyone know hoe to check the coolant level in their i/c, or how about the capacities? stuff like that which of course he had no answer to . . .