The Russek Pocket Manuals are also available from VW books in UK.  I think
 this is where I got mine.  They take credit cards and offer a 24-hour
phone
 order service.  I think I dialed 011 44 116 286 6686 to get them, although
 their advertised number in England is 0116 286 6686.

 Mike
 '82 diesel
 '88 GL