Barulhos de vizinhos de cima

Olá, Há mais ou menos 4 meses, o apartamento em cima do meu recebeu novos moradores. Além dos pais, são duas crianças de uns 4 anos - acho, pois não os conheço. Todos os dias, inclusive feriados e fins de semana, as crianças acordam por volta das 5h30 da manhã. Pulos, corridas, gritos são corriqueiros na unidade e ouvidos por mim e meu marido. Somos acordados com a agitação do apartamento diariamente. Já fizemos três ocorrências formais no livro do condomínio, além de conversas via interfone com o síndico. Antes disso, tentei contato com os moradores. Nas 5 primeiras ligações ao longo desses meses, eles se desculparam. Alegaram que eram recém chegados de outro País e que moravam em casa. Depois disso, começaram a ser grossos e nem atendem mais às ligações. O sindico foi conversar com o morador e o mesmo se defendeu dizendo que as crianças levantam neste horário para irem à escola e alegou ainda que são barulhos 'normais'. O barulho chega a ser tanto que, mesmo com protetores auriculares, acordamos pelo menos 2 vezes por noite. E o nível de estresse, nem preciso comentar, né? Disse ao síndico que iria gravar os barulhos para provar que não são 'normais' e nesse meio tempo, fiz mais uma ocorrência - uma dúvida: depois de notificado e até conversado com o síndico, é hora de multá-lo? Tenho cerca de seis vídeos que demonstram os barulhos, gritos, móveis se arrastando em diversos horários: 6h11, 7h, 17h, 23h, inclusive aos finais de semana. O morador e sua família já deixou bem claro que não teve nenhuma preocupação em mudar o comportamento. Com isso, além de mostrar ao síndico essas filmagens, qual é a sugestão legal que me indica para solucionar essa questão? Muito obrigada!