Bolden er en officiel fodbold i NFL-størrelse ( størrelse 9 ).