how big is key west [Review Key West 2017]