Подскажите, пожалуйста, если регистрировать легальный въезд в sef через отель, должны ли какой-то документ доказывающий это выдать или у них все в базе данных будет?

Могут дать, могут не дать. Там специальный документ (PDF) из системы SIBA. Если не дали, достаточно сохранить любой документ из отеля, где есть имена всех, кто останавливался в отеле. И если отель профукал регистрацию, это их проблема. На практике рядовой сотрудник SEF никакую систему SIBA не видит и не смотрит даже. Смотрит то, что вы им дадите и как объясните. Если видно, что вы суть entrada legal понимаете хорошо, никто сильно копаться не будет. Если видно, что вы не до конца что-то понимаете, могут начать вас "лечить". Так что общий уровень знаний + твёрдая поступь и взгляд обещают результат)