How to utilize $9k in a 401k

[Ben Stanley]

I have abt $9000 in my 401k from jobs. I would like to enventually use it towards real estate investing first purchase downpayment, once that opportunity arrises. What is the best method for this? 

Have been reading up on this a bit and it seems if I get it into a roth ira it can be used for downpayment funds eventually with lower taxes removed?

(If this question correlates better to a different forum thread lmk).