If you aren't sure it's been done, and the dealer isn't sure, I'd go ahead and replace it and the tensioner. Just to be safe. Beats busting a belt and bending valves.
Jason|1997 Eclipse RSI contributed to the wiki!happy p'ple