Red is a starting battery.
Yellow is a starting/deep cycle battery.

You will have no problem if you run a red, I went with yellow because of extra electronics and for running higher powered lights and such in the future. Since you have a winch you may want to go with a yellow also, but a red wouldn't be a bad choice.