Not really sure any of those would work well for tip repair. In my opinion you need a lathe that has a chuck you can feed the shaft thru. I was at the same point a few years ago and wanted to get lathe to change my own tips. Midamerica cue lathe is what I went for.