Has anyone stayed at TRADEWINDS RV PARK OF VALLEJO, California that could give me a recommendation one way or the other?

Thanks,
Dave