Didn't a lot of 45-50 E107's sell in last December's Mastro auction for about $30,000? How much would those go for today, just six months later?