Pensacola, Florida , gets an average of 64.28inches of precipitation per year. Key West , Florida, gets an average of 38.94 inches per year. About how many more inches of precipitation does Pensacola get than key west ?