Guess !
It’s less than $1000 and more than $500.
150 gig would be many many of their libraries which sell for $250 - 500 singly which is a medium cost. Plus what is it worth to DSI for these to be included. I say they are central to the sound and define this synth (regardless on whether it appeals to you.) Plus DSI synths other than this are $2000 - $3000. So that’s what i base my useless guess on.
There no doubt is a volume slide off too, and maybe a cap – a million and a half?
ADDED: You can also buy additional 8DIO samples as well and for sure they’ll get a larger cut on these.