Plus he essentially gained at least 10s advantage pitting under yellow when he did, so anything less than an overall 10s penalty would still leave him benefiting. Made stop-go the only option really. I was a little surprised they added the 10s stop, but as you say, put lane rules have to be respected.