If you always plug in then the cheapest group25 rv/start battery is good. As for the antenna, it is omni direct and does not turn , just find the antenna booster switsh and turn on when on antenna.
There are no manuals for trailers , just manuals for appliances ,etc.
When in doubt , just ask here...
It was a rainy few days at Algonquin Prov park...tarps kept us dry.
Wayne --Belle River (Windsor), Ontario
2013 Sunset Trail Reserve 25RB..
2015 White Chev Silverado 2500HD 4x4 (6.0 l gasser)
2003 Mountain Star 890SBRX Truck Camper