Hi Richie,

The former owner was nicknamed "Sharkey" and the old boxing champion was Jack Sharkey - Whom he got the nickname from. Not sure how he got permission to use the name. Some of the casino historians here may have some better info.

Thanks,
Roy