Turns out I had the manual handy:
The Complete Official Jaguar "E"
Comprising the official
driver's handbook
workshop manual
special tuning manual
Published by
Robert Bentley, Inc.
872 Massachusetts Avenue
Cambridge, Mass. 02139
Ebay is showing the following:
http://cgi.ebay.com/The-Complete-Off...QQcmdZViewItem