Key West residents paid for that school.