Yes, $40k is stupid money. Long story, short; My top was damaged, and had insurance pay $12k to get it fixed. Took about 3 different shops before I found one that could actually do the job.
In the meantime, the tool to manually operate the top on my 2014 convertible is located in the passenger's foot well on the fuse box cover. Jaguar Dealer's service tech said it's a big job to use the tool, and better off letting him