R-tech used to sell them (might still do) might be worth giving them a ring if you can't find the manual anywhere. The service guys are normally pretty helpful
Hiline Industries are pretty coy about service manuals, only a phone number for the service department https://www.hilineindustries.com/ It doesn't help the search that there is a car called a Tundra...