Mine was just a custom made gray one, but I have seen those red ones, yes :D

I bought bunch of ready made 10 meter cables for lan party dunno 15 or 20 years ago... Used with switch... Grey with nice paper label at end with "Cross over"...

Haven't had any issues with them ever in regular use... So pointless even back then...