Does anyone know if this VDO tire gauge was part of any tool kit or what it may be worth ?