If it was mine, I would clean it and put it back together with original parts and new gaskets. Its the minimal amount needed to make them happy and show how it does. Just sell it as is when the time comes. If it was running, it will run again, hopefully!

Joe