When using US-colored 14/3 for a simple switch does the red wire need to be marked?
Being red is fine.  Code wise, anything that's not colored as a grounded (neutral) or grounding conductor, is an ungrounded (hot) conductor.