Thanks! I had worked on it many years ago. Didn't have a manual then, so replace plugs and impeller was about all I did, the best I can remember. I would like to get a little deeper into it this time. I found a 73 manual for $15 including shipping so I ordered it, as the only 72 manuals that I...