Sounds like you are all set.
The TK3 is a decent bike (if you don’t mind the toe overlap). Alternatively you could rent and look around for a good used bike for the price of the TK3 (although some people do like new bikes). The Kilo has to be manhandled a bit on the track, I think you will like the TK3 a lot better. The nice thing about not renting is that you can really get your bike dialed in for yourself and don’t have to re-adjust everything every time you ride.