BMW 7 Series (E32) Service Manual: 1988-1994