Не вижу никакого смысла *выносить* ленина из мавзолея.
Если кому-то хочется бороться с Ильичом в 2к22, то по идее и мавзолей на красной площади этому кому-то нахрен не нужен. Снести и церквушку на том месте поставить. С мощами, ога.

А если мавзолей всё-таки останется как памятник, то я не вижу никакой проблемы в том, что он будет использоваться по прямому назначению.