Yet another (over)blown head gasket thread

I just Bought a single-owner, seemingly well maintained 2013 off craigslist with 136,00 mi for $11K (feel free to tell me if I paid too much) about 2 months ago. Drove for about 500 mi with no problems, getting 52 mpg highway, just long enough to fall deeply, madly in love. Insert the usual progression of engine lights, error codes, rough cold starts, pointless plug and coil replacements, final diagnosis by Santa Cruz dealership via hydrocarbon test of coolant: blown head gasket with accompanying $5700 estimate for repair (gasket replacement only).
I've put in enough hours searching this forum on the issue to feel like I know you all and your opinions on the matter, but if you're not sick of the topic I'd love your opinions on what I see as my options:

1. Do it myself - I probably could struggle my way through it, but don't have a great space, or much time to do it in.
2. local highly regarded shops: asking $3600-$4200 to do the head gasket though interestingly none of them seem to have much experience doing it on these cars it or knowledge of this issue with gen 3 motors in general. Many of them also want to charge $100-$200 to re-diagnose before they'll even give me an estimate which I'm guessing is going to be in the same ballpark.
3. Gasket Masters - I talked to them today about some of their negative reviews and they said that they did have some people scamming them trying to say they had work done with no evidence. I know some people have opinions on their quality of work but they would seem to have the most experience with this issue, include full EGR system and manifold cleaning, and will do the head gasket in their shop for $1550 or a used, rebuilt by them engine for $3150. I also just like them.
4. Gen 4 swap: I found a highly regarded independent shop in San Francisco - Luscious Garage that will do the gen 4 swap for $6500- 8000 (or more). They are very aware of the issue and say they don't even do the gaskets and at this point only do the gen 4 swap.
5. Take $5k trade in value at dealership.

Thanks for any input!

 

Thanks for the feedback @PriusCamper, that's the direction I'm leaning as well. Would you do the gasket repair or the swap in my situation?

 

Thanks @ToyXW I will give Maxat a call and see if they would do the gen 4 swap.

 

if the gen 4 swap is easier money, I'm surprised Gasket Masters isn't doing it. I asked but they said they don't due to all the possible complications.