Yes, quite small. I have not seen an official price, I heard a rumor of about 100 USD/EUR.
I'm mostly interested in it for VHF/UHF anyway. 12 bits should be much better than the 8 bits from an RTL dongle, and the 10 MHz bandwidth opens up a lot of possibilities - like demodulating and decoding all the ACARS channels at once.