Yes, I think it has. I guess it would be like Rudolph Giuliani still calling himself "Mayor Giuliani" when he isn't Mayor of NYC anymore, someone else has taken his place, so I don't think he uses this title now. Of course Giuliani's a far more influential figure than Bunnell.