The DirecTV service people got her at about 9:40 AM. They were great. They too suspected it was kids who pulled the dish and pole out of the ground. They said that technically, vandalism isn’t covered by the insurance, but they said as long as they didn’t have to dig or replace the pole, they wouldn’t charge me. It took them 5 minutes to realign the dish with the satellite and pat down the dirt and grass to make sure the pole was stable. Then they came inside and “rebooted” the boxes. And now everything works.
I have always had excellent service from DirecTV on the phone, and today, I had excellent service from them on a service call.