First question is to clarify the statement
"the satellite didn't work properly". Does that mean that (a)the satellite in orbit was not working, (b) the antenna dish was not picking up the signal or (c) the receiver was not operating?
If the satellite was off line (least likely) then it was a temporary situation. In the past 5 years I can count on one hand the number of times our service was interrupted. If the antenna is not receiving a signal it could be a wiring problem in the coach that they won't touch. They can verify if the antenna is working by using a signal meter. Finally, if the receiver box is bad, then the tech should get another one.
The next question is make sure that you had a DirecTV tech. Often you can call the number of a reseller from an ad or the phone book who is contracted to sell the product. They even have DirecTV trucks. Call 1-800-directv (1-800-347-328
and ask them to set you up with one of their installation techs (usually factory trained). Be specific when you talk to the installer, ask who their employer is. Ask if they work for a reseller or for DirecTV. If you did call the 800 number listed above and you're sure the installer was a DirecTV installer and not an
"authorized" dealer or reseller, then call back and ask for a supervisor.
Good luck and keep us informed.