Need to remove file robots.txt from our hosted system.

We are attempting to add our KB pages to our Google search, but we need to remove a file https://services.gvsu.edu/robots.txt. Do we have access to this directory on our hosted system? Would it be best to submit a ticket to TDX?

Relevant question is adding the file to an On Prem sandbox.https://solutions.teamdynamix.com/TDClient/1965/Portal/Questions/Details/117783

From GVSU IT and GVSU IM: 

I've been working with Institutional Marketing to have the GVSU homepage search engine (https://search.gvsu.edu, provided by FunnelBack) index and include KB articles in search results. This has been configured on the search side, but a change needs to be made on the TDX side to allow for the indexing.

Per IM:
[IM] has heard back from Funnelback, and it seems the robots.txt on services.gvsu.edu has the line "Disallow: /" which prevents search engines (including funnelback) from indexing the site. It sounds like we have it set up correctly in funnelback, so once that line is removed it should start indexing within 24 hours:
https://services.gvsu.edu/robots.txt

Please advise what options exist to allow for indexing.