Paging @jeepinmatt and anybody else that might know. Buying a mini ex and don't know much about them. Wanting to buy a smaller bucket to go with the big one it has and not sure what buckets will work. The bucket and thumb both have TEC on them but my Google Fu has let me down on finding the manufacturer. Here is a pic of the current set up.