just looked on the manual, looking at the air filter cover, it at the right hand side just under the air box cover. just a thought but is your car overheating into the red light, because a cheap OBD2 scanner can check all the values coming from the engine management, this will check if it is the temp sensor or something else, saves loads of time chasing various faults that pop up from time to time!?