Hi, Does someone know where I can find the historic (say for the last 5 to 10 years) US regular trading days and hours? When the only thing would be real holidays it would be possible to filter based on these days and the weekends but what I also sometimes notice is that there are days with limited trading hours. I really don't understand it. Thanks in advance.