Venda de notebooks para funcinários

Olá colegas!

Estamos realizando a troca de alguns notebooks na empresa, e na substituição os funcionários perguntaram a possibilidade da compra da máquina antiga.
Estou buscando um meio de viabilizar essa venda, pois não somos contribuintes do ICMS, e não conseguimos emitir a NF-e da venda.
O colaborador, por sua vez, também não conseguirá emitir em nosso nome.
Alguma sugestão de proceder de forma segura e legal?

Um recibo de compra/venda e o registro normal como receita com venda de ativo estaria na norma?

Obrigada.