a lot of people did!

Why don't you go there and ask???

just search for their tip bot address and you will see how much that address has tipped