About a fortnight ago, renowned gaming and hospitality operator Hard Rock International (HRI) received some pretty unpleasant news regarding its…