I Have $640k in a 401(k) – What's the Best Way to Convert to a Roth and Save on Taxes?