You can withdraw $10,000 penalty free (and this can include earnings) for a first time home purchase. This is penalty-free if you’ve had the Roth for more than 5 years and can include earnings. The 10K limit applies to each individual, so if there are two of you you could take 20K out.

Most likely you have $10K of contributions and shouldn;t even bother with the paperwork of indicating the use as first-time home purchase. Remember you can take out your contributions at any time penalty-free for any purpose. The exception is that funds that are contributed as a ROllover need to be vested for 5 years before doing so.

For those of you who are eligible (less than 160K or so for Married filing joint), a ROTH IRA should be your first choice for excess funds after getting the match from an employer 401K.