If there was any IMS servicing done that far back, especially at a dealership, it was likely just replacing a weeping IMS flange.
IIRC, the entire IMSR procedure didn't really go mainstream until about 2009 or so. I could be wrong... Just ask my wife.
Best of luck!