Another great website for information on Keys history (including the Overseas Railway and Overseas Highway) is
www.keyshistory.org It is a facinating look into what makes "The Keys" "The Keys".
It may not help with your HO project but it is still a good read.
Good luck with your project.