另外，以上这三个品牌，早在海底捞成立（1994年）之前，就已经是国际大品牌了