I think 375K-400K is a good approximation.
Holm was outstanding this year - and I have no problem with him and his salary.
Kramdi at ~135K is too much - but he can play - but he is definitely not elite.
Thomas - serviceable back in his first 6 years or so, but has really, really declined - and is a detriment physically to the play of the D -Line now. I appreciate his heart, and his dedication to the Bombers, and should be moved to a non-playing position - maybe learning how to coach, or perhaps the back/front office.