They should have lifted, full stop. If they had lifted, there would be no penalty. Whether they had a fast lap in the bag or not is of no concequence, that's their problem. Suppose some debris that got picked up by a tyre, and hit another driver, or marshall, how would have been then, the rule is there for safety, not to piss of teams or drivers. dangerous things happen when parts fly off cars at 150 mph, remember the Massa incident,
John