Can anyone tell me if the Shaggy Marlin on Thomas Drive used to be something else say 4 to 5 years ago? It was not in my vacation planner from 2004 and for some reason it seems like to me that it was some other restaurant possibly. Thanks.