НДС при продаже вычислительных мощностей нерезиденту - как?

[Никитавр]

Всем привет!

Не резидент покупает услуги российского датацентра (плательщика ндс) в РФ, по ВЭД контракту. Например, аренда вычислительных мощностей.
Оплата поступает на валютный счет продавца.

Как правильно обработать вопрос с НДС?
- счет на оплату услуг не должен включать НДС
- счет должен включать НДС и быть уплачен после в бюджет
- счет должен включать НДС, должен быть уплачен в бюджет и возмещен в связи с тем, что получатель услуги - нерезидент?