Less than 5% of these flag waving patriots in the USA ever served their country. They just wave the flag and tell people to “honor” it. The heroes that saved the ship put out a fire for God’s sake. I don’t care if you’re Navy, Army, Marine, CG or US Postal Service just putting on a uniform doesn’t make anyone a hero.That’s your job, you volunteered for it and got paid for it just like I did for every job I had in my life, including in the service of my country. Later, I lived thru occasional terrible seas at times to make sure the USA had at various times, cars, plows, oil and plastic shit from China. Does that make me a hero too? NO. If doing your job means you are hero does that make the guy that successfully made my Wendy’ s burger today a hero? I gave him a tip so to me he was my hero 
OK, done with that rant. You’re probably right. If the right contractor with the right connections calls the right congressman they’ll probably repair it for a lot of money and have a grand ceremony afterwards.You just pay the bills.