I suppose it really depends on the quality of work the dealership provides. Here is one example of a good job: See post #8 in this thread:
http://www.keystonerv.org/forums/sho...ght=contractor'
Then, of course, there is the other side of the coin in which the work was not done properly. So, I'd discuss the options with your dealership's service manager, see what his take is on the quality of repairs his "linoleum guy" does and then make your decision. What is "the best job yet" at one dealership may be "I'd never let them touch mine" at another dealership.
Good Luck