There was a restaurant called Rock in Pasadena. Is it still around? I never got around to going. They supposedly cooked your meals in front of you on "hot rocks." If it is still around, does anyone know the address and what might be good on the menu?