I thought Navarro with Paul getting an outside shot at coming up. Rodriguez would not have been a good move at this point, because he wouldn't have played in my opinion and if they are counting him in the future he needs to play, not set the bench.
Rodriguez is different from Kris Negron who was up eariler. Negron was filling a roster spot, not being counted on, now or in the future, Rodriguez is one of the few crown jewels right now. Unless he was going to play, it would not have been a good move and I don't think he would have played much.