Absolutely!!! Unless they just checked every box in my service
manual as a force of habit. I doubt that though. The car drove extremely well - but like you said, there could've been some code or something else. But they've been quite generous to me in other respects also.