If thats the case the dealer should be responsible for cleaning(flush and clean with denatured alcohol) at least or replacing the entire braking system, mixing dot4 &5 can cause brake failure. Don't want to alarm you but it shouldn't be taken lightly.