It should have been renamed. We joked, and actually speculated on good names for a replacement OVER A YEAR AGO (sorry for shouting but its true.) However, it was all laughed off as morale and high-jinks! Would it have mattered? Who cares now! But what if?