Skæreolie, se boreolie.