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