The IR is the best.The Matco MT1745 is a rebranded IR.The Cornwell is also a rebranded IR too.Can't kill an IR,run forever and you can fix it yourself if it breaks.Parts for an IR are not cheap and inspect the anvil at least every 2 years.The anvil wears out due to use and never use a chrome socket or attachment.The chrome attachments and sockets wear out the clip holding the socket on.
^^^what he said. I picked up a used MT1745 off fleaBay for $160 shipped, it rocks. It's a rebrand of the IR 2135TiMAX. Way more gun than the Craftsman you're looking at.
Do buy the IR lube kit though. You're supposed to not only put oil down the air hole daily but also occasionally grease the hammers, but nobody sells the kit, you'll have to order it online. IR 115-LBK1 is what you want I believe.
If you can't find a 2135TiMAX or MT1745 in your price range, the IR 231C isn't as strong but half the techs I know are using one anyway. It's pretty much the default shop gun as far as I can tell, and as such rebuild parts should be available for years to come, and it's not exactly wimpy.
Edit: well I see you got one, good pickup. Comments about lube kit above still stand; assuming it's IR made, it probably still requires grease for the hammers/anvil