JJ Lehto neve meg igazából Jyrki Järvilehto. :) (sőt, teljes neve Jyrki Juhani Järvilehto)