If you make a small dedicated right-turn lane it will signal to pedestrians to watch out for RTOR. If you don't, I guess you have to ticket people who don't stop at the red. I would naturally stop.

Of course, 19/20 intersections never have pedestrians anyway.