Where did you hear about a name change at Harrah's Riverboat in Vicksburg? Usually the names were changed to Harrahs, not from Harrahs.
