No Quartus simulator for Stratix IV?

It has been a few years since I have personally used Quartus but I have a couple guys working for me that just finished a design using a Stratix III device and Quartus (I think 9.0?). They were able...