Feel free to "Rate" the dealer on one of the many review sites. Maybe you can spare the next guy all those problems. Good luck with your repair.
Also, this kind of thing is the reason that in the last 20 years and about 10 different RVs from Class "A" DPs to my present 22' trailer, none of them have ever been back to a dealer for any reason. Well, I do take then back to trade them in.