Should be what is in the book, 5W40. 5W30 does not give as much protection. Unfortunatly garages tend to do a one size fits all approach. 5W30 won't cause immediate issue in your engine, but 5W40 can cause issues in engines needing the thinner oil, so the garage carries 5W30. Can be interesting for warranty claims, garage will ignore what they do, but If you got it serviced by a independent garage with 5W30 they would probably complain about it.
Long and short is probably no harm done, but I'd insist on 5W40 from now on.
Robert G8RPI.