Devolución IVA particular no residente

Soy concesionario vendedor de coches. Un cliente particular no residente, nos plantea una cuestión que nunca se nos ha dado. El es no residente, pero se llevará el coche a su pais (no comunitario), por lo que nos pregunta sobre cómo gestiona la devolución del IVA que le vamos a cobrar. Sería un vehículo de ocasión, para más datos. ¿Cuál sería el trámite? Cuando pase la aduana lo declarará... Le harán un papel... Debe ir antes a hacienda... El iva se lo devolveremos nosotros o es un trámite suyo con hacienda por su cuenta...