So… called the national health hotline (Saúde24). I think every country should have this service, with the kind of care, and all around niceness and professionalism, we get from them. It’s simple amazing.