I dropped him in both of my leagues. His only action ROS will probably be the playoffs which doesn't matter in my leagues since we don't include the playoffs. Even if Arod made it back for a week or two of the regular season, he has never been known to go on insta-tears after DL stints, so you have nothing to lose by dropping him.
Somebody actually picked him up (and their DL spot is already filled) when I dropped him. Apparently they don't actually read player notes before adding people.