including replacement of the shark fin antenna.” These repairs wouldn’t be covered under warranty and would cost around ...