Can anyone recommend a replacement battery for a 5.3L 1988 XJS? Dimensions need to be 242 or 243 x 175x 175 mm. The manual quotes the original Lucas Pacemaker CP13/11 68Ah, which is no longer available. Jaguar part number DBC6427 seems to be low on spec (52Ah /450 SAE?)