While I was watching the Nissan, I thought I saw some alternate greens--specifically, to the right of the regular 10th green, and short of the regular fourteenth green. Are these used during a certain time of year, when the regular greens are closed? Or are some of them used as true alternate greens?