jpoc: Do you really think that having a $45K deposit instead of a $40k deposit will make a huge difference to the house that the OP can buy?
In other words, does the OP want to spend $5000 on lotto tickets between now and the time they buy a house? Its all about personal preference for gambling and nothing to do with strategy