Emissão de nota carioca para turista estrangeiro

Boa tarde, tenho um cliente que é um hotel (optante pelo Simples Nacional) e precisa emitir nota fiscal de serviços Carioca para o funcionário de uma empresa estrangeira (sem CPF e sem CNPJ) que se hospedou lá. Buscando em perguntas e respostas do próprio site encontrei orientação para emissão de nota para exportação de serviços (sem incidência do ISS) o que penso não ser o caso, uma vez que o serviço foi prestado aqui dentro do Brasil mesmo. Também tentei ligar para a Prefeitura, mas fiquei aguardando e sendo transferida por mais de uma hora e nada. Alguém saberia informar como se faz essa emissão?
obrigada.