Replaced my master cylinder today, and used DOT 3. Didn't realize I should have been using DOT 4 until it was too late. I haven't bled the lines yet, and was going to do that sometimes in the next week or so. Is DOT 3 okay to use? Is boiling point the only difference?