Could also be that if the faucet was OEM, it just came apart - as ours did one morning....turned the water on only to have the whole faucet just sort of explode. So the fix for that is to make a trip to Lowe's or HD and invest in a better quality - most anything is better than the OEM - and replace....standard size.
Agree to go over it with a fine-tooth comb for not only SIGNS of water but any musty, moldy odor.
Hope this works out for you, sounds like a nice deal if everything is in good shape. BTW, check the tires for manufactute date. It will be a 4-digit code right alongside the rim....something like 2310, meaning they were manufacturedd the 23rd week of 2010. Tires need to be changed every 4 - 5 years regardless of how great they may appear. If those haven't already been replaced, expect that you'll be in the neighborhood of $500 give or take in short order, so suggest you look for that.
