2025 Bronco Sport Badlands 2.0 L with coolant leak – needs head gasket replacement?

Hi all, hope you are able to give me some advice on my situation. I bought this car about a month ago – currently it has about 15,000 miles on it. Thought I got a good deal because of the higher mileage for the year but I noticed the coolant had dropped ever so slightly over the month I had it. Took it into the dealer and sure enough they pulled the spark plugs and noticed the coolant was leaking into the cylinders. They say it needs the head gasket replaced. This is already bad enough as I…