VENTA COCHE EN LEASING A EMPLEADO

Buenas tardes,

Tengo la siguiente duda que agradecería me ayudaran a resolver:
En abril 2010 la empresa ABC, filial de una empresa española adquirió un coche en leasing a 4 años, para el nuevo director de la planta, expatriado español. Ahora se plantea la siguiente situación: este cargo cambia de persona (cambia de expatriado), y se le ha ofrecido al que se va que se quede con el coche pagando lo que reste por pagar y adquirir otro nuevo para la persona que entra. Para eso, habría que cancelar anticipadamente el leasing y vendérselo por el valor residual + comisión por penalización por cancelación anticipada (en caso de que hubiera), y también deberíamos facturárselo. ¿Cómo se factura esto, teniendo que lo factura una empresa extranjera (de Comunidad Europea) a una persona física española, con IVA o sin IVA? ¿qué tratamiento fiscal tiene?

Un saludo y gracias,