It was, or should have been changed, around May this year during the service, but as I didn't carry it out I can't say whether it was done or what type of oil was used. Good garage though so doubt they omitted it, unless it wasn't due to be changed at that service.