Dover and Miami sold the same stuff. This is because they were both owned by the same parent company, Dover Corp.