... were some for sale way back when, at least two types, but they were never cheap even back then. Suspect if they are still made, would be more expensive today. Would have to check the big reloader's supply houses for ones that would give meaningful numbers.
Will look tonight. Don't intend to spend the $ to replace my old one as I don't have the need, but suspect they are still made.