On the next-to-leading order QCD K-factor for top anti-top bottom anti-bottom production at the TeVatron