Ah, I blame that on being groggy, got some really nice pills for the back pain. But they are pretty heavy, not taking them again.
Good history then. A word of caution though, my car has been serviced in big auto-shops for it's entire lifetime, up until I took over ownership. And while it's good up until a point, they do take alot of shortcuts and also overtighten bolts. My oil drainage plug has been tightened so hard the threads in my oil pan has gone, same with one of the sparkplugs, they've propably used impact wrenches to tighten them. They do the service allright, but they try to speed things up too much.