How much does the RadMini cost?