Willie's Legendary Sharks Pub in DeLand, Florida

I noticed this place while driving back from a one day training conference in DeLand, Florida: [view link] I did not have time to visit and so am reluctant even to add it to the list here. I just wanted to let everyone know of its existence in case anyone else wants to check it when in DeLand and perhaps add it to the list.