Generally good advice but he lost me on “It costs about $1,500 to replace carpeting in a car, so it’s unlikely someone will do that, unless there is water damage.” ,,, I can get carpet cut and molded to fit any car for under $150..
If you go to the dealer to get carpet yeah I can see $1500. And there are people stupid enough to do it.