I think that Ramsey lap 4 gap for the lead is 0.07, not 0.7 (based on gap at Ballaugh and the difference between their sector times). For years there's been an unfixed bug on the live timing where gaps less than 0.1 are shown incorrectly.