Can't help but think 10 grand was their "we don't want to do it" price. I wouldn't let that dealer touch my wheelbarrow.
Years ago a guy topped off a MF175 with gas. It was belching out some grayish smoke. Drained and refilled with diesel, back to work. I logged quite a few hours on that...