It's not redundant..... Seems the presence of the BlackBerry symbol indicates connection to the RIM servers the way EDGE vs edge and GPRS vs gprs do, if I am reading
KB02334-Network status indicators from the GSM/GPRS/EDGE/3G networks correctly (as John wrote in post #2).