I spoke w/my tech contact there…apparently the issue isn’t the lack of the .ovpn file. The reason HK4 is more reliable/faster is because of the proprietary methods are is baked into their proprietary software (and interface with software on HK4). Without that software, HK4 is no different from their other servers. So, that’s why they just reserve that server for users of their proprietary software. Even if they supplied a .ovpn file for HK4, it wouldn’t make a difference. There IS a solution (but not for GLI routers): You can buy one (or if you already have one) of the model routers that will run their proprietary router software (listed on their website). If you do that, than all servers (including HK4) are available, since the router software they provide has the proper encryption/hooks for the special servers.