HFWR
Give me a museum and I'll fill it. (Picasso) Give me a forum ...
Haven't run the numbers officially, but being in the 25% bracket, and a 5.5% IR, it wouldn't be hard to beat 4.125%. Not to mention the tax-deferred status of the 401k money. Don't want all my eggs in one basket kinda thing...