My friend says that the word "buffet" originates from Warren Buffett's involvement in the restaurant industry. Apparently, he has been investing in restaurants for quite some time, and a lot of his restaurants pioneered the use of buffets. Can anyone confirm this?