Buying standard button head and turning down to correct diameter sounds like a good plan to me.

Thanks for the sage advice and confirming that it's apparently either buy the "right" part and pay more, or buy them cheap and customize yourself.