[vol.2]

I think they were "E34" and then there should be one or two more digits to note which E34 it is. There were many many E34xx

I've had good luck buying paper service manuals on ebay.