Switch port 5000 references to 12001 as per usual GossipRouter documentation