You have three options previously stated in the post.
1. do you feel competent to do the repair good enough to sell the unit to the next RVer?
2. If not, I would discuss the repair with the dealer. If you are satisfied they know what they are doing let them do it.
3. If neither one is a `go' I'd discuss it with the manufacturer. Sometimes they are good at building units but not so good at repairs.
added later after reading more posts: I recently wiped out my awning (embarrassing story) and the insurance guy estimated $2500 damage. By the time the shop got thru doing a complete repair the cost was $3500! Moral is that there might be more damage than originally thought.
