Buscando assistência técnica especializada

Olá, eu possuo um Raspberry Pi 4 e comprei um Raspberry Pi 400 para minha filha porém depois de algum tempo ele não liga mais.

Troquei os cartões SD nos dois e no 4 eles ligam normal. Procurei na Internet, liguei para revendedoras mas até agora não achei ninguém que fizesse reparo em RPi no Brasil.

Alguém saberia onde tem? Seria interessante montar inclusive uma lista com pessoal especializado pra divulgação pq se tem bastante gente trabalhando com isso, não é fácil de encontrar.

Obrigado pela ajuda