Strange... but there isn't an L7 technically speaking.
There are 3 options if he has bought an E63 7 Series. In Evo I form, the series manufactured between 2001 and 2003, he had the options of a 745Li and the 760Li.
The Evo II which has improved mechanicals, parts and electronics as well as toning down of the bangled design most importantly, one has the 750Li and 760Li as options. The fabled 4.4 litre engine in the 745 has been discontinued across the range at BMW.
Here is a pic of the Evo II E63 760Li:
Revv