Anybody knows if Autozone may provide all these tools (incl. jack)?
Thinking of buy the belt/manual from dealer and go Autozone to fix the
belt then.