It's a factory manual.
I've got the lower off and the impeller looks pretty good after all these years. Looks like I could have flushed the bottom end and got the pump working as there was some trash in the plumbing, but no biggie, I'll feel better inspecting and resealing it.