Covered or not the important thing is that you got it fixed, didn't have to wait in line behind 8 weeks of scheduled repairs in the shop ahead of you. You had a great family vacation at Disney World. So keep the good memories and delete the bad.
As to if you maybe out the near $500, lets put it into perspective another way. What I'm saying is at Disney just how far does $500 go into days Disney experience? A couple bottles of water, burgers, fries and drinks for one meal in the park, a couple of very small keepsakes, and day or two of golf cart rental.
Have a great Holiday Season and be happy you were some where that the air conditioning was needed.