The fact is, NO one knows if this is temporary or permanent. As Stazi said, it may be temporary, or as I think, it may last for several K miles, which in my book is pretty permanent, or atleast comparable to how long it took for this problem to crop up in the first place. Strong opinions and facts are two entirely different things.
For folks who love fiddling with their cars, replacing the pump is an agreeable indulgence.. for folks who seek an easier solution first, this may well work.
