my brother wants a repair manual for christmas and i 4get wich brand everybody uses i think its haynes is that rite???i want the 1 that everybody has i know that theres probably only 5 ppl without them and mine got stolen with my tools and im not sure of the brand..