Still looking for a factory service manual. I have been told by the dealership that the only service manuals sold by Jaguar are on cd-rom made just for the specific use of the factory service department and if if I would like to purchase a copy the price is $1,200 (ouch). Has anyone had any luck finding a cheaper alternative?