Thats too bad.
Its very likely that all 16 rockers went, and at $47 each they add up. Plus labor and the regular timing belt job parts and labor.
All in all they are probably doing about $1500 in parts and $1500 in labor. Not way outta whack, but a little high.
If you were closer I would offer to do the job for half that in labor, done it before and all.
good luck.
If you want to see pictures starting on this page you can see some pictures of what happens to the rockers in a mild case of a slipped belt:
http://colorado4wheel.com/images/libby/ ... dex_7.html
_________________
http://www.Colorado4Wheel.com
"Its not about what you can
DO with your Jeep, its about where you can
GO with your Jeep."
Knowledgeable - But Caustic