You can download a TIS File by right clicking it and selecting "download".

It is also possible to download TIS File by navigating to its properties and the pressing on "download".