I've been there a few times (prolly the last time in the early '90s) but never have seen that. Will look for it next time I'm there--thanks.
As you go in the front lobby, where they take your money, it is~~or was~~the large area to the left (West).