А чего тогда реализация на торгах приводит к прекращению залога и теперь дело только в местном Росреестре. Некоторые снимают обременение покупателя, некоторые требуют отдельного судебного акта. Т.е. нужно будет покупателю обратиться в СОЮ с исковыми требованиями. Либо АСВ снимет добровольно залог.