Greetings everybody. My first post on this particular board, and just have a quick question. I have recently bought my 2002 WRX Wagon. Bought her with 88k on the clock and is in AMAZING condition. Engine bay and all components are sounds and have been maintained. My question is what is the brand of the OEM timing belt ? My car is currently running a Mitsubishi 5PK877 Timing belt so i believe it has already been replaced. Does anybody know if that is stock or has been already been maintained ? Thanks everybody.