Police in Miami say a Texas man has been arrested in connection with a recorded attack on a server at the Hard Rock Cafe in Bayside Marketplace. The case drew attention after video of the incident circulated, according to the report.

Authorities said the arrest followed a tip submitted through Miami-Dade Crime Stoppers. Investigators used that information to identify and locate the suspect, police said.

The incident happened at the Hard Rock Cafe inside Bayside Marketplace in downtown Miami, a busy tourist and entertainment area. The victim was described as a server working at the restaurant when the attack took place.

While police have not released additional details in the limited report, the arrest marks a key development in the case. The investigation appears to have been helped significantly by the public tip and the existence of video evidence.