I let someone test drive my manual stick shift car & now my engine smells burnt. Should I be worried?

They said they knew how to drive standard, but they obviously didnt! Smells like the gears were striped like a burnt rubber smell. Im trying to sell this car and am worried they may have damaged something? Should I be worried or should this be ok? They only drove it 1 mile.
18 answers 18