Milan-Roma, ecco il dato ufficiale sugli spettatori