dns over https should be going over port 443, no? cause i remember having it configured and it didn't work on the college wifi , and while i know that they blacklist domains manually and i dont believe they actively block the dns provider domains, i also know they have a port number whitelist
im very sure it should go through 443 and unless they block dns domains (which would be silly) it should work without problems