Am I right in thinking you can't mix Dot 4 with Dot 5.1 and that you need to clean the whole system out and replace seals when you change to 5.1 or is that an old wives tale?