Yes. Or roll it into a $80 service charge when you get anything else done at a Tesla service center. Like the air filters.