Yup. 9k down, choose the shorter payment period (less interest) put his other 3k into payments so he has a cushion incase he can’t make one, then continue to pay monthly.

However, I’d recommend the Civic SI, the manual trans will last longer just an overall better design plus things like limited slip front differential make it much better for bad road conditions.