Went up to the dealer and bought the new card. It was $25 and we decided I'd come back on monday when the service manager would be there to talk about warranty replacement, sounds like it won't be an issue.