3.5 hours on the return should be just fine, no issues .. if there's no inter-terminal shuttle leaving within 5 minutes of your reaching the domestic terminal, just exit the airport and catch a taxi - there's prepaid options available in the departure terminal. Dont fall for touts there.