[App_rpt-users] RTCM DNS unreliable?