Yes, plug the leak and that's it. This guy says in his ad the camper had a leak.
https://www.usedvictoria.com/classified-ad/1996-Oakland-Camper_36568031 I paid $2500 for the one in my sig. He was asking way more, but I kept on about previous leaks you could tell even though he had fixed all that.
Worst thing about old but fixed leaks is soft wood in the corners where the jacks are attached. The 11 ft 1981 camper we had a few years ago had the front jacks tear away and it fell nose down. I did not get killed. I managed to repair all that myself. Got $2300 for it late 2017
This 1991 camper we have now has one front jack starting to come away but I was onto that real quick, being gun-shy from the last time. :( So I was right to be worried about old but fixed leaks. Good thing I can do those kinds of repair myself.
My biggest worry when selling the old camper (and the 5er we had too) was clueless buyers who only had half ton trucks and didn't seem like they knew how to fix anything. Just take their money or try to educate them?
"Never give a sucker an even break" doesn't work for me. As it was, the buyers who did take them had some idea plus friends with repair skills, so it worked out well.