This is a new, NOS gauge. Is it a GAS MASTER vacuum gauge made by CAVCO INC.