Will auto workers strike drive up car prices?