Anybody from San Jose remember Happy Days Burger joint ??

So you guys are meeting at the old Happy Days diner on Thursday? I'm a bit confused because someone also mentioned the Mervyn's get together which is tonight. I can't go tonight, but might might be able to swing it tomorrow. I work about 10 minutes away from the Happy Days place.