DV
Almost certainly 30 was serviced before it went out to the Gulf otherwise it would not be able to fly due to lack of hours.
I am not sure what you are driving at now but EVERY jet that goes out to the Gulf has to be serviced for the reason given above.
Primary servicings are carried out by RAMS and NLS personnel.
Anything else?