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.
interesting because I got the dates at last years expo for 13th-16th for 2023. Just looked back thru some old posts on their FB page and it was post as April 13th-16th 40 weeks ago.
Over the years I made many trips to the Tampa area. I became friendly with Dan and we played many times and had a bunch of great conversations. All the trips to strokers since his passing are not the same.