I thought you meant it leaked in the rain. Pressure test is for exterior leaks. If its just from the water tank, thats a different issue. If you keep that one and they fix the tank leak or whatever it is, use it right away and check for leaks. Familiarize yourself with the pump and other plumbing items such as a water filter, water heater bypass etc.
Another thing to pay attention to is if you notice the pump randomly cycling for just a couple seconds. It means that there is a very good chance that there is a leak. I bought $10.00 water alarms at hd and placed them in key places.
With some devices or gadgets you can be forewarned by noises or other indicators of trouble. When an RV has a leak it is often noticed much to late and the damage is in the floor.
See if they can fix it but educate yourself and be very proactive in having and enjoying your RV for a long time.
