Good info.
Note: Oil on my driveway is why I changed from Chevy to Ford in the 80's.
It is a big deal to me.
As long as it did not cost me, the dealer was nice about it, and the vehicle will operate correctly for its normal life than I'm ok.
BUT if this is a life limiter, we got trouble.