Oil drillers use a lot of xanthan gum to make drilling mud thicker .
In the oil industry , xanthan gum is used in large quantities , usually to thicken drilling mud .