That's not quite true, they had to wait a couple years to dump their lease. I think 2005 is when it was officially converted to Mike's Fresh Market, and the grand opening took place in 2001.
Ironically the Arabs have been quite successful in that place [[it's much busier than it was during Kroger's era). Other than the Kroger name [[and a few minor things of course), everything has been left the same.
Bookmarks