Question: and what is the company name associated with ID 9?
SQL: SELECT T1.company_name FROM Third_Party_Companies AS T1 JOIN Maintenance_Contracts AS T2 ON T1.company_id   =   T2.maintenance_contract_company_id WHERE t2.maintenance_contract_id  =  9