@pitrh usually ssh on port 53/tcp works fine in ugly managed WiFi networks 😉