What hours is gasoline or crude traded on the NYMEX?

I have noticed that when I go to like CNBC.com or Marketwatch.com, when watching the gasoline stocks (or whatever they're called since they're commodities), even though the New York Stock Exchange closes at 4:00PM EST, crude oil will continue to trade. What are the trading hours for gasoline, which comes from the Light Sweet Crude oil? I know on CNBC.com, it is just headlined "OIL" and I am almost positive it is the same way on Marketwatch.com, although I am not going to go right now and look. But, what are the trading hours of the basic source of petroleum or gasoline, what I can go down to the gas station and pump my car full of? In conclusion, one more question. What is the ticker symbol? I ask this because, with my AT&T U-Verse, I can place stocks as my preferred to watch on my U-Bar and this is one of them! Thanks for your help!