为什么海底捞要叫“海底捞”？

哎，我每次去吃海底捞都好奇，这名字到底咋来的？明明是个火锅店，跟捞海底有啥关系？我查了下百度，有人说是因为创始人打麻将胡了“海底捞月”这把牌，觉得吉利就用了，但也有人说是四川那边有种“海底捞”的吃法，就是把锅底捞干净。我自个儿也试过翻他们官网，就说是寓意“服务周到，连海底都能捞”，感觉还是没说到根上。有没有懂行的朋友，能给我掰扯清楚这名字背后真正的故事或者文化梗？别光说官方套话，就想听点靠谱的冷知识！