I estimate 4.5 human-years of effort (1.5 years nonstop).