If that dealership was anything like my dealership, the guy who cleans cars is probably earning around $8-$10/hr (an average- it's not uncommon for "detailers" to get paid per unit rather than an hourly wage) with little qualifications/education. They don't get paid more for good work, they get paid more the faster they can get cars in and out with an acceptable level of work. He probably washed, waxed, vacuumed and cleaned the inside, but if stains are stubborn, he's not going to get paid anymore for getting it out of the fabric. He's just going to tell them that he shampoo'd the spot, but the stain wouldn't come out and the service manager will accept that answer.
Edit: Mind you, this experience could very from dealership to dealership, YMMV. That said, I wouldn't recommend taking your car to a dealership for a detail.