I was given a 40hp seahorse that I was told the timing belt was bad in, my question is this where can I get one and what is the correct timing set? I have searched the net for the part but have had no luck///also looking for a good shop manual. thanks for the help