Ugh- found some water in the overhead bunk- what to do.

My opinion's free so you get what you pay for. My theory is the RV shop would just patch it and make it look good and you would pay a premium. Since you appear to have good skills and diagnosed where it was leaking and have a vested interest in a quality repair, I think I would do it myself. Hopefully folks with some experience will chime in with suggestions and you can take the best from those suggestions and make a quality repair, most likely much better than a dealer.

Joe