not in list buy_movie_tickets theatre_name cinelux almaden cafe lounge , movie doctor who animated , time 6 00 pm . buy_movie_tickets theatre_name cinelux almaden cafe lounge , movie doctor who animated , time .