How much money did the company give up by not selling to Spotify and instead finding individual investors?<p>Would that have translated into a significant difference for the employees who wanted to reap the benefits of their work by selling their shares?