There is currently a conversation on airliners.net about the numbers used to identify the various terminals at JFK, and whether they should be renumbered to account for the loss of (3), 6 & 9. ...