Oh I thought that was a pretax amount. XD Ok 10% makes more sense and is way more in line with typical employee discounts.