As a sidenote, it would be cool if WXBK could some day be traded for WBAI, but I cannot recall if the latter is licensed as a non-commercial facility.
It is, but since it's located in the commercial part of the dial it could be converted. That's what Family Radio did when they prepared to sell 94.7.