I'm completely with Jon on this, do not use DOT 5, but do use DOT 5.1, they are totally different. However many people mistakenly call DOT 5.1, DOT 5. Check with your dealer, maybe he has made the same mistake and all is OK.
DOT 5.1 is an excellent fluid which is well on the way to being a comp...