Have two good used manual transmission pedal boxes for 1976-1988 XJS cars. These are original Jaguar pieces with the correct pedal box casting and clutch/brake pedals. These RHD sets can be easily converted to use for LHD - can provide details.
Never offered here in the US so nearly impossible to find. When are you going to see original pieces again?