Meh, if it were me, I'd just leave it as is then and when that opener eventually fails, just replace it with a 1 hp one. Openers are cheap and very easy to replace (if you stick with the same make and drive assembly that is.. (ie: chain vs. belt)).

​

Also, if you can lift the door with one hand, but when you release it it wants to fall to the ground, the door weight and spring tension is not balanced and you'll need to get the spring replaced with something more adequate for the weight of the door.

Also curious why you had a garage door company out there in the first place. What prompted that? That's not a normal thing for a home inspection. Who called them and why?