May as well go for Lewandowski, Cavani, Suarez, Aguero as well. If we're going after a Real 1st teamer when they are already short of out and out strikers why not go for some of the others?
How about Griezman he seems to be able to get 25 odd goals a season, or Lacazette (as has been mentioned before), they seem to have goals in them.
Benzema is good, but I don't think he's in Aguero or Suarez's class, he's below those kind of strikers, his record at Real is very good but not phenomenal. Would be good to have him here, but there's other options who wouldn't represent a downgrade IMO.