you have the old ford 8n. with min 3pt hitch.
you have the old ford TLB with some power already
then the kioti DK40 with FEL.
the old ford TLB has 180 degree seat to work the backhoe. nice and fast going along when speaking backhoe. not speaking excavator.
if you were speaking a mini ex, or larger excavator. ok. but your talking something you already have in bigger HP and enough pressure to go along with it. seems like another TLB that is smaller is going to do what for you? if it was just for a smaller trenching machine with trenching bucket to fit in tight spaces... i might bite. but your choices given are still larger size backhoes and the tractor/s choosen are mid size to larger units as well.
using that 9,000 on a mini ex, or getting a grappler for 4500 or dk40. or a thumb for 4500. or use the cash to get the needed repairs if that is it. , or getting TNT for the DK40. or some other implements for the DK40 to make other general duties easier and faster.