3 ms·

I don't know what the OP's marginal tax rate was, but if he were a California resident, his taxes would be more around 15k.