How much does that cost? How does it compare to 40k for 10 commodity servers at 4k each and no license fees?