Thanks for the info. It's been a number of years since I let anyone else work on one of my cars, but in this case I figured the tow home would cost about the same as an hour's labor... we'll see.