How about just changing the filter at 3k? The oil cost more than the
filter. If the oil is not worn out but just dirty, would changing just
the filter make sense? Adding new oil lost from the filter would also
refresh the additives.