I don't think I've seen many intersections with red arrows unless there is a dedicated turn lane, where green yellow and red are all arrows. If it's a right turn in a right on red jurisdiction, without a sign expressing no right on red, why would red arrow be different than red circle?