I believe the ones like you mention are sold by Raceseng.
I think they may supply them with a standard, or roller tip.
The standard would be by far the least expensive, and work very well.
Probably no adaption work, or push rod change needed.
Upon thinking about this, that is probably the best option.