They do, though I can't remember what it is. The problem that you may run into now, though, is that any work on the system, including the replacement or repair of cabling, needs to be performed by a HughesNet authorized technician. I don't know what effect performing the work yourself will have on your account/service/agreement, if any, but it may.
Don't get me wrong, I understand your predicament, but it would have been best to have HughesNet schedule the work.
I'm sure either a HughesNet rep or someone else who knows will answer your question about the specific cabling and fittings requirement(s).
Good morning,
What Gabe said is correct, any work to be done regarding cabling and the dish must be done by an authorized HughesNet installer. Their standard installation guidelines are here although they don't go into detail regarding the type of cable:
http://legal.hughesnet.com/Documents/HughesNet_Residential_Installation.pdf
All it says that up to 125 ft of RG6 cable is used with weather-resistant compression fittings. Again, HughesNet installers should be the ones replacing cable. Any repairs to systems with unauthorized work done is subject to labor costs.