My dad has a 2007 XKR 4.2 and wanted to know what engine it has. I googled it and found AJ34S but somebody has said its an AJ40 but I can't find any info on this engine.

Does anybody know?

Cheers