3 ms·Indeed. These are called repricers, for those curious.by CamelCaseName 6y agoIndeed. These are called repricers, for those curious.