Pad Thai is a Thai restaurant.