Engine oil at Type-R

What kind of engine oil do you drive on Type-R? Civic or Integra is not important…. I just noticed that my workshop has put on my Civic Type-R 15W-40, which I have now replaced with 5W-40…