I would just fix it unless you intend to to buy a newer wrx. Look at it this way, your car only has 72k miles and its an 02. It should have a very long life left if taken care of properly. If you go to sell it your going to take a pretty big hit because it needs repairs.
I know it sucks to drop a stack, but its probably the best thing to do.