I suppose it depends on how much working capital you have. But if you have the bucks, why not buy it and do what need to be done to it and sell it for $15,000 to $17,000? The deal would be $2k down and say $700 a month (including lot rent) at 0% interest (just to make it easy while playing around with the idea) – I don’t know your lot rent but if it is $300 then $400/month goes towards the house. You are into the house $9,000 but with $2,000 down you are only out $7,000 and owed, say, $15,000. If you count lot and loan payment you get your $7,000 back in 10 months, but if you only count the loan payment you get your $7,000 back in about a year and a half. And you are still owed another $8,000.
Where do you find deals that good?*
So you get, over time, a nice little pile of cash out of the deal and you get a home in your park that is in sound shape and ready for years more of service to its family and to you.
*In your park.