Add NFL statistics spec recording

This should have been included in the team season stats code submittal
(74af3c06b7).