Ended up having to contact the hotline. Did it via email (not even slightly concerned about tls knowing it was me) on Friday before I left. I was half anticipating it to go down over the weekend based on the nature of the complaint, but how long into the week should it take to get addressed?