Anybody from San Jose remember Happy Days Burger joint ??

So is anybody going to head down there today?