Milan-Inter, dieci mila richieste per i biglietti: incasso record?