Is there going to be an Iron Man 4?

If you look at the special features in Tropic Thunder - Robert Downey Jr. you find that he says he's making Tropic Thunder just before Iron Man "which is a trilogy." So does that mean that they are going to stop at three? Better not, they can make some serious profit.