There is no smell to stripped gears, but the damage will be noisy. Burned clutches are permanently damaged, but it takes more than a one mile ride to do that to a good clutch. Slipping the clutch can stink and the smell goes away, except if the clutch continues to slip. Driving with the parking brake on can stink almost the same way. The clutch has xx,xxx miles on it and one more mile of bad driving just doesn't equal all the wear. However, you should never let them drive your car again, and be careful with your car from here on. The damage will not heal. See if you can still stall the engine trying to start off in 4th gear and if it stalls out right away, trouble is much further down the road, not impending.