I think i heard they looked at hunter smith, but the money is pretty tight now.
if the deals were haynesworth (41/5 + .745 = 8.945) hall (22.5/5 + .745 = 5.245), and dockery (8.5/5 + .745 = 2.445) that's 16.635mill.
that's 5 years proration on bonuses + vet min for years in the NFL. If the bonuses are guaranteed, according the the rules for this year, they're either pro-rated, like the signing bonus, or count 100% or 50% towards 2009's cap (50% if the guaranteed money is to be paid after 2012).
I don't know the status on at least 8mill of haynesworth's guarantees, so i'm assuming proration for now, since that's the smallest 2009 cap hit.
the 8mill might be some type of split bonus but i'm not sure you can call non-guaranteed money as part of the 41$mill guarantee.
2009 specific salary cap 101:
Salary Cap 101: The Final Capped Year - NFL UK Forums
again, if someone has better info, please share.