EDIT: I don't have the repair manual, just the owners manual that talks about seat belts, fluid levels etc.