Concordo que pode sacad sem medo. 3500 reais não é nada
Até se vc vender um celular pu uma bicicleta vc movimenta esse topo de valor. Então não se preocupe.
Sou leigo, então não confie em mim... mas meu amigo tem sacado bem mais do que isso por mês (cerca de uns ~R$ 30k) e até hoje nunca teve problemas. PORÉM, isso não significa que ele nunca vai ter.
Acho provável que essa pessoa vá ter problemas após março, qd de fato vier a declaração do imposto de renda.
A orientação correta pro seu amigo é preencher o programa do GCAP (Ganho de capital) e anexar ela no IRPF. Pelo menos uma parte.
Não gera imposto isso, nem DARF para pagar. Ele apenas vai dizer da onde vieram aqueles 150-250 mil reias que aumentou o patrimônio dele.
Lembra que precisa de lastro pra fazer isso. Ou seja, alguma bitcoins/cripto declarados em anos anterior. Não acho que precise ser tudo meticulosamente perfeito, mas pelo menos uma parte vale a pena.