I was quoted a price of $13,450 for a B3030. Does this seem reasonable? I was thinking more of about $12,700, about $1000 more than the B7800. Thanks in advance.