Sportauto magazine says Porsche officials have claimed a ring time of 7:39 min.