While it may be legal to make that right turn, I wouldn't say it's safe. Not only could someone be entering the intersection in a vehicle, but you always have to be aware of pedestrians, bikes, and possibly golf cart traffic. In fact, I think all directions of the 5-way at Penman get a Red light when a pedestrian gets at least one of the walk signals, but none of the right-turn lanes flash a separate no-right-turn sign, so you've got to be aware.
The image in this article shows where you should be able to make a right on a red in a controlled intersection, but make sure you are yielding to anyone and everyone that may be coming into that lane.