One of the commentators on the Albany, N.Y., NPR affiliate just used noon-thirty (or noon:30) in reference to time. I don't think I've ever heard this before. Is it regional, social, or other? Regards, David Barnhart