Red dollar?

My friend was telling me when he was working as a cashier in 1992 someone came in with a red twenty dollar bill. He was told that bills in Washington D.C. are red. Well, that is what the store manager told him. ????