I guess I would have my nose right in there while the repair is going on *
AND* I would be finding out where the alternative 4110 would be coming in from... and how many hours and months sitting on the lot it has! I might even go visit it to check it out personally and make sure you aren't getting one with
other issues.
Unless the repair is a really big deal and without a rational, understandable explanation as to why it will never happen again... I'd always be inclined to take the one with the highest serial number and least hours showing on the clock. Sounds like that might be the one you've already got. Whatever production year you're getting... 2006 or 2007... make sure you don't end up going backwards in time unless there is a nice "price adjustment."
Dougster