I'm his brother and yes I did go look. That location was true on older models of the Aveo. He has a 1.6L ecotec which started in 2009. I can't find the crank sensor to be honest. I think it's under the timing cover to be honest.